Scarab: Documents

Introduction

This web page details Scarab system which is a prototyping tool for developing SAT-based systems. It provides a rich constraint modeling language on Scala and enables a programmer to rapidly specify problems and to experiment with different modelings.

Presentation Slide

Scarab Paper (Presented in PoS-13)

Process Flow of Scarab

process_flow_v4.png

Syntax of Scarab DSL (for Constraints)

API Documents and Class Diagrams of Scarab

Author: Takehide Soh

Created: 2015-12-12 土 11:03

Emacs 24.3.1 (Org mode 8.2.10)

Validate