package touist

You can search for identifiers within the package.

in-package search v0.2.0

touist
- TouistCnf
- TouistErr
- TouistEval
- TouistLatex
- TouistParse
- TouistPprint
- TouistQbf
- TouistSatSolve
  - Model
  - ModelSet
- TouistSmt
- TouistTypes
  - Ast
  - AstSet
- TouistVersion

Legend:
Library
Module
Module type
Parameter
Class
Class type

Version information for the TouIST library.

This file is computed by cppo (see Makefile).

version is the OPAM version (as seen in the _oasis file)
has_git_tag tells if the library has been built inside a git repo; if it has, then git_tag contains the latest git tag using git describe --tags

val version : string

val has_git_tag : bool

val git_tag : string

val has_yices2 : bool

val has_qbf : bool