Skip to Main content Skip to Navigation
New interface
Poster communications

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 metadata

https://hal.inria.fr/hal-01670765
Contributor : Guillaume Bury Connect in order to contact the contributor
Submitted on : Thursday, December 21, 2017 - 4:17:16 PM
Last modification on : Friday, February 4, 2022 - 3:21:50 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

130

Files downloads

310