- A 32 bit Linux executable at hcsp-1.3.0-x86.tar_.zip
- A 64 bit Linux executable at hcsp-1.3.0-x86_64.tar_.zip
- To convert from the MiniZinc format to FlatZinc please put this library under the lib/minizinc/ directory of the MiniZinc distribution.
- Source files at hcsp-1.3.0.source.tar_.zip
- A Doxygen based documentation at https://ie.technion.ac.il/~ofers/HCSP/doc/index.html
License
HCSP can be used freely for academic and evaluation purposes. Any other use requires permissions from the author.