Navigation

Contact

Head

Prof. Dr. M. Fränzle

D119/120 (OFFIS)

+49-441-9722 566

Office

Kathrin Kuper

D121 (OFFIS)

+49-441-9722 501

Fax: +49-441-9722 502

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

Weetbmarasxbstedugqr (hs-dewebmasutter@informatio0jz9k.uxlpjini-oldenburgkx.de) (Changed: 2020-02-18)