mSAT:An OCaml SAT Solver - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2017

mSAT:An OCaml SAT Solver

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-01670765 , version 1

Citer

Guillaume Bury. mSAT:An OCaml SAT Solver. OCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom. ⟨hal-01670765⟩
152 Consultations
360 Téléchargements

Partager

Gmail Facebook X LinkedIn More