clpfd-smt-0.0.2 --------------- Version 0.0.2 Author Sven Hueser Maintainer Michael Hanus <mh@informatik.uni-kiel.de> 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://git.ps.informatik.uni-kiel.de/curry-packages/clpfd-smt.git@v0.0.2 License BSD-3-Clause License file LICENSE