search

SRI-CSL / sally

A model checker for infinite-state systems.
http://sri-csl.github.io/sally/
GNU General Public License v2.0
69 stars 12 forks source link

Support for dReal as a solver #62

Closed dddejan closed 5 years ago

coveralls commented 5 years ago

Coverage Status

Coverage increased (+1.02%) to 39.664% when pulling c51e312eda3a523c0b6c157471374356fe5ee8ef on dreal into 31ae14a00449e3df9d5f8263c56406444cee3638 on master.