@hackage satchmo-toysat0.2.1.0

toysat driver as backend for satchmo

satchmo-toysat

Build Status Hackage

toysat driver as backend for satchmo