GitHub repository: msakai/ersatz-toysat
Primary language: Haskell
Created: 2015-01-06T14:40:14Z
Description: toysat driver as backend for ersatz