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

Wepckpibmastd7er (hs-web8rj5mastkcer@zf+inf5juh3ormatilfk.unbhdoi-oldenburz1hcmg.dijihe) (Changed: 2018-09-10)