simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update to Msat.Solver arguments in readme

Browse source
This commit is contained in:
Guillaume Bury 2016-04-15 13:41:41 +02:00
parent e3fc66919d
commit 2e6ff522e5
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -24,6 +24,9 @@ as a functor which takes two modules :
- A theory (which implements the `Theory_intf.S` signature) to check consistence of assertions. - A theory (which implements the `Theory_intf.S` signature) to check consistence of assertions.
- A dummy empty module to ensure generativity of the solver (solver modules heavily relies on
side effects to their internal state)
### Sat Solver ### Sat Solver
A ready-to-use SAT solver is available in the Sat module. It can be used A ready-to-use SAT solver is available in the Sat module. It can be used