Dependencies for mini-egison-1.0.0

Libraries

mini-egison

Executables

cdcl