Scarab Applications
Home
Examples
Documents
Advanced Usage
Tutorial
Apps
Overview
This page collects applications of Scarab.
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
Author: Takehide Soh
Created: 2015-03-10 火 10:28
Emacs
24.3.1 (
Org
mode 8.2.8)
Validate