Download

Solver

• hysat-0.8.2.gz (December 19, 2007) - statically linked binary for Linux, gzipped
  

Manual

• hysat-user-guide.pdf (December 19, 2007)

Benchmarks

• bouncing_ball_euler.hys
• henzinger_railroad_crossing.hys
• renault_clio.hys
• tomlin_aircraft_roundabout_maneuver.hys

Presentations

• CP2007