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