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

doc: check something in the readme

Browse source
This commit is contained in:
Simon Cruanes 2019-02-02 19:28:12 -06:00 • committed by Guillaume Bury
parent c376f1d763
commit 1632c1a619
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -78,6 +78,8 @@ We can try and check the satisfiability of some clauses — here, the clause `a
will check the satisfiability of the current set of clauses, here "Sat". will check the satisfiability of the current set of clauses, here "Sat".
```ocaml ```ocaml
# a <> b;;
- : bool = true
# Sat.assume solver [[a; b]] ();; # Sat.assume solver [[a; b]] ();;
- : unit = () - : unit = ()
# let res = Sat.solve solver;; # let res = Sat.solve solver;;