package universo
A tool for Dedukti to play with universes
Install
Dune Dependency
Authors
Maintainers
Sources
v2.7.tar.gz
sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c
sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c
doc/src/universo.solving/solving.ml.html
Source file solving.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16(* generated by dune *) (** @canonical Solving.Solver *) module Solver = Solving__Solver (** @canonical Solving.Utils *) module Utils = Solving__Utils (** @canonical Solving.Z3arith *) module Z3arith = Solving__Z3arith (** @canonical Solving.Z3cfg *) module Z3cfg = Solving__Z3cfg (** @canonical Solving.Z3syn *) module Z3syn = Solving__Z3syn