satchmo-toysat (hackage): toysat driver as backend for satchmo
Keywords: algorithms|bsd3|library|logic