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.
Type de document :
Poster
OCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom
Liste complète des métadonnées

https://hal.inria.fr/hal-01670765
Contributeur : Guillaume Bury <>
Soumis le : jeudi 21 décembre 2017 - 16:17:16
Dernière modification le : mardi 9 janvier 2018 - 14:13:30

Fichier

poster.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

111

Téléchargements de fichiers

55