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.
  

  (For questions concerning the Windows version please contact Markus.OertelOFFIS.de.)

Manual

• hysat-user-guide.pdf (December 20, 2009)

Sample Input Files

    Bounded Model Checking

• bouncing_ball_euler.hys
• henzinger_railroad_crossing.hys
• renault_clio.hys
• tomlin_aircraft_roundabout_maneuver.hys
• minigolf.hys
• freezer.hys
• etcs_train_system.hys
• water_level_monitor.hys
• temperature_control_system.hys

    Optimization

• tuckers_function.hys
• monkey_and_coconut_problem.hys
• brahmaguptas_problem.hys

Presentations

• CP2007