search

pstlab / oRatio

oRatio is an Integrated Logic and Constraint based solver
Apache License 2.0
6 stars 1 forks source link

solved issue with LRA theory negated assertions propagations.. #8

Closed riccardodebenedictis closed 5 years ago