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: 2019-02-11 月 15:33

Validate