Contact

Head

Prof. Dr. M. Fränzle

D122 (OFFIS)

+49-441-9722 500

Office

Kathrin Kuper

D121 (OFFIS)

+49-441-9722 501

Fax: +49-441-9722 502

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

Sample Input Files

Presentations

(Changed: 26 Aug 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page