package mc2

  1. Overview
  2. Docs

mc2

API

Library mc2.backend

Library mc2.core

Library mc2.dimacs

Library mc2.lra

Library mc2.propositional

Library mc2.smtlib

Library mc2.uf

Library mc2.unin_sort

OCaml

Innovation. Community. Security.