mSAT:An OCaml SAT Solver - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Poster Communications Year : 2017

mSAT:An OCaml SAT Solver

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.
Fichier principal
Vignette du fichier
poster.pdf (151.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01670765 , version 1 (21-12-2017)

Identifiers

  • HAL Id : hal-01670765 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More