Download
Download
Download
Solver
- hysat-0.8.6.gz (December 20, 2009) - statically linked binary for Linux, gzipped.
(Please note that this version of HySAT is not based on Linear Programming, but on interval constraint propagation.)
- hysat-0.8.5w.zip (December 20, 2009) - statically linked binary for Windows, zipped.
Manual
- hysat-user-guide.pdf (December 20, 2009)