clpfd-smt-0.0.2 --------------- Version 0.0.2 Author Sven Hueser Maintainer Michael Hanus Synopsis Libraries for finite-domain constraints implemented with SMT/SAT Category Constraints Dependencies dimacs >= 0.0.1 fl-parser >= 1.0.0 Compiler compatibility pakcs >= 1.14.0, < 2.0.0 kics2 >= 0.5.0, < 2.0.0 Source Git https://github.com/curry-packages/clpfd-smt.git@v0.0.2 License BSD-3-Clause License file LICENSE