package msat

  1. Overview
  2. Docs
Library containing a SAT solver that can be parametrized by a theory

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v0.9.tar.gz
md5=8ee967a889188d8d937e3c1ca2c50deb
sha512=5185e02f2f41a3672afaf64b47ddf6efd787811a73f0286a670a64783a86a9c422c4a874c48884622961354105283b60223562025f1fa21edba67f0eb8cb172b

doc/src/msat.sat/Msat_sat.ml.html

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)

OCaml

Innovation. Community. Security.