Environment for generating .mus file for Directors Musics

Naps source codes

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

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

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

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

Director Musices 2.5a for linux

Utility for evaluating solvers on cluster machines

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

Reptile game

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