search

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
151 stars 32 forks source link

fix(solver/theory_solver): FilterAssertion #252

Closed soonho-tri closed 3 years ago

soonho-tri commented 3 years ago

To close #228 and #250.