GitHub - baoruiz/universe: Generic Universe Type System

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
scripts		scripts
src		src
tests		tests
.classpath		.classpath
.hgignore		.hgignore
.project		.project
Vagrant-bootstrap.sh		Vagrant-bootstrap.sh
Vagrantfile		Vagrantfile
sat4j-maxsat.sh		sat4j-maxsat.sh