dimacs-0.0.1 ------------ Version 0.0.1 Author Sven Hueser Michael Hanus <mh@informatik.uni-kiel.de> Maintainer Michael Hanus <mh@informatik.uni-kiel.de> Synopsis An interface to SAT solvers supporting DIMACS. Category Constraints Verification Dependencies Compiler compatibility pakcs >= 1.14.0, < 2.0.0 kics2 >= 0.5.0, < 2.0.0 Exported modules Dimacs.Types Dimacs.Build Dimacs.Solver Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/dimacs.git@v0.0.1 License BSD-3-Clause License file LICENSE