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

detail

Browse source
This commit is contained in:
Simon Cruanes 2022-07-23 00:24:56 -04:00
parent 4a6237191e
commit 0e5bde0f40
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt-solver/Sidekick_smt_solver.ml
View file

@ -3,7 +3,7 @@
Sidekick_sat (in src/sat/) is a modular SAT solver in Sidekick_sat (in src/sat/) is a modular SAT solver in
pure OCaml. pure OCaml.
This builds a {!Sidekick_core.SOLVER} on top of it. This builds a SMT solver on top of it.
*) *)
(** Argument to pass to the functor {!Make} in order to create a (** Argument to pass to the functor {!Make} in order to create a