Skip to content
GitLab
Explore
Sign in
Register
Naps
naps
Issues
#6
es1sat の結果がおかしい
es1satは simplification solverが動作しないのにデフォルトで使うようになっていた version 2.01b1 で修正済み