mSAT:An OCaml SAT Solver - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster 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⟩
158 Consultations
364 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More