Opam Package touist.3.5.0

Package info

opam-nametouist
opam-version3.5.0
synopsisThe solver for the Touist language
description The Touist language is a friendly language for writing propositional logic (SAT), logic on real and integers (SMT) and quantified boolean formulas (QBF). This language aims to formalize real-life problems (e.g., the sudoku can be solved in a few lines). Touist embeds a SAT solver (minisat) and can be built with optionnal SMT and QBF solvers. Touist is also able to generate the latex, DIMACS, SMT-LIB and QDIMACS formats from a touist file. Optionnal solvers: - for using Yices2 (--smt --solve), run `opam install yices2` - for using Quantor (--qbf --solve), run `opam install qbf`
authors
  • Maël Valais <mael.valais@gmail.com>
  • Olivier Lezaud
homepagehttps://www.irit.fr/touist
licenseMIT
readme-fileREADME.md
deps (10)
revdeps(0)
metas (3)
libraries (3)

Package modules

Package sources

touist

Package files

man/man1/touist.1
lib/touist/yices2/touist_yices2__SmtSolve.cmx
lib/touist/yices2/touist_yices2__SmtSolve.cmti
lib/touist/yices2/touist_yices2__SmtSolve.cmt
lib/touist/yices2/touist_yices2__SmtSolve.cmi
lib/touist/yices2/touist_yices2.ml-gen
lib/touist/yices2/touist_yices2.cmxs
lib/touist/yices2/touist_yices2.cmxa
lib/touist/yices2/touist_yices2.cmx
lib/touist/yices2/touist_yices2.cmt
lib/touist/yices2/touist_yices2.cmi
lib/touist/yices2/touist_yices2.cma
lib/touist/yices2/touist_yices2.a
lib/touist/yices2/touist.yices2.dune
lib/touist/yices2/smtSolve.mli
lib/touist/yices2/smtSolve.ml
lib/touist/yices2
lib/touist/types.mli
lib/touist/types.ml
lib/touist/touist__Types.cmx
lib/touist/touist__Types.cmti
lib/touist/touist__Types.cmt
lib/touist/touist__Types.cmi
lib/touist/touist__Smt.cmx
lib/touist/touist__Smt.cmti
lib/touist/touist__Smt.cmt
lib/touist/touist__Smt.cmi
lib/touist/touist__SatSolve.cmx
lib/touist/touist__SatSolve.cmti
lib/touist/touist__SatSolve.cmt
lib/touist/touist__SatSolve.cmi
lib/touist/touist__Qbf.cmx
lib/touist/touist__Qbf.cmti
lib/touist/touist__Qbf.cmt
lib/touist/touist__Qbf.cmi
lib/touist/touist__Pprint.cmx
lib/touist/touist__Pprint.cmti
lib/touist/touist__Pprint.cmt
lib/touist/touist__Pprint.cmi
lib/touist/touist__ParserReport.cmx
lib/touist/touist__ParserReport.cmt
lib/touist/touist__ParserReport.cmi
lib/touist/touist__ParserMsgs.cmx
lib/touist/touist__ParserMsgs.cmt
lib/touist/touist__ParserMsgs.cmi
lib/touist/touist__Parser.cmx
lib/touist/touist__Parser.cmti
lib/touist/touist__Parser.cmt
lib/touist/touist__Parser.cmi
lib/touist/touist__Parse.cmx
lib/touist/touist__Parse.cmti
lib/touist/touist__Parse.cmt
lib/touist/touist__Parse.cmi
lib/touist/touist__Lexer.cmx
lib/touist/touist__Lexer.cmt
lib/touist/touist__Lexer.cmi
lib/touist/touist__Latex.cmx
lib/touist/touist__Latex.cmti
lib/touist/touist__Latex.cmt
lib/touist/touist__Latex.cmi
lib/touist/touist__Eval.cmx
lib/touist/touist__Eval.cmti
lib/touist/touist__Eval.cmt
lib/touist/touist__Eval.cmi
lib/touist/touist__Err.cmx
lib/touist/touist__Err.cmti
lib/touist/touist__Err.cmt
lib/touist/touist__Err.cmi
lib/touist/touist__Cnf.cmx
lib/touist/touist__Cnf.cmti
lib/touist/touist__Cnf.cmt
lib/touist/touist__Cnf.cmi
lib/touist/touist.ml-gen
lib/touist/touist.dune
lib/touist/touist.cmxs
lib/touist/touist.cmxa
lib/touist/touist.cmx
lib/touist/touist.cmt
lib/touist/touist.cmi
lib/touist/touist.cma
lib/touist/touist.a
lib/touist/smt.mli
lib/touist/smt.ml
lib/touist/satSolve.mli
lib/touist/satSolve.ml
lib/touist/qbf/touist_qbf__QbfSolve.cmx
lib/touist/qbf/touist_qbf__QbfSolve.cmti
lib/touist/qbf/touist_qbf__QbfSolve.cmt
lib/touist/qbf/touist_qbf__QbfSolve.cmi
lib/touist/qbf/touist_qbf.ml-gen
lib/touist/qbf/touist_qbf.cmxs
lib/touist/qbf/touist_qbf.cmxa
lib/touist/qbf/touist_qbf.cmx
lib/touist/qbf/touist_qbf.cmt
lib/touist/qbf/touist_qbf.cmi
lib/touist/qbf/touist_qbf.cma
lib/touist/qbf/touist_qbf.a
lib/touist/qbf/touist.qbf.dune
lib/touist/qbf/qbfSolve.mli
lib/touist/qbf/qbfSolve.ml
lib/touist/qbf.mli
lib/touist/qbf.ml
lib/touist/qbf
lib/touist/pprint.mli
lib/touist/pprint.ml
lib/touist/parserReport.ml
lib/touist/parserMsgs.ml
lib/touist/parser.mli
lib/touist/parser.ml
lib/touist/parse.mli
lib/touist/parse.ml
lib/touist/opam
lib/touist/lexer.ml
lib/touist/latex.mli
lib/touist/latex.ml
lib/touist/eval.mli
lib/touist/eval.ml
lib/touist/err.mli
lib/touist/err.ml
lib/touist/cnf.mli
lib/touist/cnf.ml
lib/touist/META
lib/touist
doc/touist/README.md
doc/touist/LICENSE
doc/touist/CHANGELOG
doc/touist
bin/touist