GitHub - embg/pickaxe at https://githubhelp.com

Name		Name	Last commit message	Last commit date
Latest commit History 46 Commits
bin		bin
depth_experiment		depth_experiment
mafia-src		mafia-src
maple		maple
test		test
TODO.org		TODO.org
build.sh		build.sh
callgrind.out.31505		callgrind.out.31505
mafia		mafia
maplesat		maplesat
package.sh		package.sh
starexec_build		starexec_build
test.cnf		test.cnf

About

A pattern-mining propagation accelerator for SAT solvers

Report repository

Releases

No releases published

Packages

No packages published

Languages