package msat

You can search for identifiers within the package.

in-package search v0.2.0

Source file `Msat_sat.ml`

1
2
3
4
5
6
7
8
9
10
11
(*
MSAT is free software, using the Apache license, see file LICENSE
Copyright 2016 Guillaume Bury
*)

module Int_lit = Int_lit
include Msat.Make_pure_sat(struct
    module Formula = Int_lit
    type proof = unit
  end)