Scarab Applications

Overview

• hss: HCP Solver based on Scarab and Sat4j
  
  • http://kix.istc.kobe-u.ac.jp/~soh/scarab/hcp.html
• tt: Interactive Timetabling System based on Scarab and Sat4j
  
  • http://kix.istc.kobe-u.ac.jp/~soh/scarab/apps/tt.html