Dependencies for mini-egison-0.1.6

library
cdcl