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

wip: add small SMT solver for the guide

Browse source
This commit is contained in:
Simon Cruanes 2021-07-07 22:21:52 -04:00
parent 1c2b37eb72
commit 1fd226183e
2 changed files with 21 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
doc/dune
View file

@ -11,4 +11,12 @@
(executable (executable
(name mdx_runner) (name mdx_runner)
(modules mdx_runner)
(modes native))
(executable
(name small_solver)
(modules small_solver)
(flags :standard -warn-error -a+8)
(libraries containers sidekick.core sikekick-base sikekick-base.solver)
(modes native)) (modes native))

13
doc/small_solver.ml Normal file
View file

@ -0,0 +1,13 @@
(** A small SMT solver as a demo for Sidekick *)
(** Main.
Here we just read the name of the *)