Navigation

Skiplinks

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

Sample Input Files

Presentations

Webmaster (Changed: 2018-09-10)