The latest version of ersatz-toysat is 0.2.2.0-2.
ersatz-toysat
Version 0.2.2.0 revision 0 uploaded by MasahiroSakai.
Package meta
- Synopsis
- toysat driver as backend for ersatz
- Description
toysat driver as backend for ersatz
- Author
- Masahiro Sakai
- Bug reports
- n/a
- Category
- Logic, Algorithms
- Copyright
- (c) 2014 Masahiro Sakai
- Homepage
- https://github.com/msakai/ersatz-toysat
- Maintainer
- masahiro.sakai@gmail.com
- Package URL
- n/a
- Stability
- n/a