Explore projects

A project to implement crisys2, a new tool for rewriting induction over LCTRSs

CombSQL+: a solver for combnatorial optimization problems described in SQL based language

Environment for generating .mus file for Directors Musics

Naps source codes

Utility for evaluating solvers on cluster machines

Initially copyed from https://github.com/craigsapp/humextra.git

Improv: Interactive MIDI Programming in C++ by Craig Stuart Sapp craig@ccrma.stanford.edu http://improv.sapp.org

Director Musices 2.5a for linux

gpmc に dnnf 式を生成する機能を追加

Reptile game

For combsql+, PB is added combsql/pysmt 's branch optimization + pb