package lutin

You can search for identifiers within the package.

in-package search v0.2.0

lutin
- Library ezdl
  - Ezdl
- Library gbddml
  - Bdd
- Library lutin
  - LutinRun
- Library lutin-utils
  - LutinUtils
- Library lutin.bddrand
  - BddRandom
  - Dimacs
- Library polka
  - Matrix
  - Polka
  - PolkaIO
  - Polka_lexer
  - Polka_parser
  - Poly
  - Vector
- Sources
  - gbddml
    
    bdd.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Dimacs`

type t = (bool * int) list list * int

val parse : string -> t

val print : t -> string

val to_formula : t -> Exp.var list * Exp.formula