fix(picosat): Use a new version (fix null-pointer arithmetic) - Githubissues

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals

https://dreal.github.io

Apache License 2.0

150 stars 31 forks source link

fix(picosat): Use a new version (fix null-pointer arithmetic) #270

Closed soonhokong closed 2 years ago