package facile

  1. Overview
  2. Docs
Constraint programming library over integer finite domains

Install

Dune Dependency

Authors

Maintainers

Sources

facile-1.1.tar.gz
sha256=a87a6ba7869104f85828c19a9681758bd1d01c816581ba09ac483739ad4ae5ca
md5=ab673e1fc0859a42bcb639a02c2d7e9e

Description

Published: 21 Nov 2013

Dependencies (1)

  1. ocaml < "5.0.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.