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

small changes to the readme

Browse source
This commit is contained in:
Simon Cruanes 2015-11-25 09:55:23 +01:00
parent fa24d2da6f
commit a729d2dafb
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
README.md
View file

@ -1,7 +1,7 @@
# MSAT # MSAT
MSAT is an OCaml library that features a modular SAT-solver and some MSAT is an OCaml library that features a modular SAT-solver and some
extensions (including SMT). This is *work in progress*. extensions (including SMT). This is **work in progress**.
It derives from [Alt-Ergo Zero](http://cubicle.lri.fr/alt-ergo-zero). It derives from [Alt-Ergo Zero](http://cubicle.lri.fr/alt-ergo-zero).
@ -65,7 +65,9 @@ For the development version, use:
opam pin add msat https://github.com/Gbury/mSAT.git opam pin add msat https://github.com/Gbury/mSAT.git
### Manual installation You will need ocamlfind. The command is: ### Manual installation
You will need ocamlfind. The command is:
make install make install