@hackage ersatz-toysat0.2.2.0

toysat driver as backend for ersatz

ersatz-toysat

Build Status Hackage

toysat driver as backend for ersatz

Examples

The contents of examples/ directory are copied from ersatz package and modified to use the toysat driver as backend.