mSAT:An OCaml SAT Solver

Guillaume Bury 1
1 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Abstract : mSAT : a SAT solving library in OCaml. It solves the satisfibility of propositional clauses. It is Modular : the user provides the theory. And it produces formal proofs.
Document type :
Poster communications
Complete list of metadatas

https://hal.inria.fr/hal-01670765
Contributor : Guillaume Bury <>
Submitted on : Thursday, December 21, 2017 - 4:17:16 PM
Last modification on : Thursday, December 5, 2019 - 1:38:38 AM

File

poster.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01670765, version 1

Citation

Guillaume Bury. mSAT:An OCaml SAT Solver. OCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom. ⟨hal-01670765⟩

Share

Metrics

Record views

158

Files downloads

237