simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-25 10:56:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

update readme

Browse source
This commit is contained in:
Simon Cruanes 2016-11-21 15:05:20 +01:00
parent badf58ffdd
commit c7d9f8190f
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

@ -12,6 +12,9 @@ It derives from [Alt-Ergo Zero](http://cubicle.lri.fr/alt-ergo-zero).
This program is distributed under the Apache Software License version
2.0. See the enclosed file `LICENSE`.
## Documentation
See https://gbury.github.io/msat/
## USAGE