mSAT:An OCaml SAT Solver - Inria - Institut national de recherche en sciences et technologies du numérique
Poster Année : 2017

mSAT:An OCaml SAT Solver

Guillaume Bury
Deduction modulo, interopérabilité et démonstration automatique

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
poster.pdf (151.88 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Guillaume Bury  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01670765

Soumis le : jeudi 21 décembre 2017-16:17:16

Dernière modification le : vendredi 24 mars 2023-14:53:06

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE
173 Consultations
380 Téléchargements

Partager

More