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 README after Log switch

Browse source
This commit is contained in:
Guillaume Bury 2016-01-21 17:19:24 +01:00
parent ddbedc6606
commit 383afcf19f
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -48,9 +48,7 @@ as shown in the following code :
### Generic SAT/SMT Solver ### Generic SAT/SMT Solver
A modular implementation of the SMT algorithm can be found in the `Msat.Solver` module, A modular implementation of the SMT algorithm can be found in the `Msat.Solver` module,
as a functor which takes three modules : as a functor which takes two modules :
- A log module for debug output
- A representation of formulas (which implements the `Formula_intf.S` signature) - A representation of formulas (which implements the `Formula_intf.S` signature)