cl-model-languages / cl-minizinc

Common Interface to the MiniZinc-based Constraint Satisfaction solvers from Common Lisp

Cl-Minizinc - Common Interface to the MiniZinc-based Constraint Satisfaction solvers from Common Lisp

This library provides a transpiler from S-expression to MiniZinc Constraint Satisfaction Programming language, and the sub-libraries that invoke Stat-of-the-Art CSP solvers using MiniZinc as the input language, such as the entrants of MiniZinc Challenge.

Usage

Dependencies

This library is at least tested on implementation listed below:

• SBCL 1.4.0 on X86-64 Linux 4.10.0-38-generic (author's environment)

Also, it depends on the following libraries:

• trivia :

• alexandria by Nikodemus Siivola [e-mail], and others. : Alexandria is a collection of portable public domain utilities.

• iterate by ** : Jonathan Amsterdam's iterator/gatherer/accumulator facility

Installation

Author

• Masataro Asai ([e-mail])

Copyright

Copyright (c) 2017 Masataro Asai ([e-mail])

License

Licensed under the LLGPL License.