The latest version of toysolver is 0.8.1-1.
toysolver
Version 0.0.2 revision 1 uploaded by sjakobi.
Package meta
- Synopsis
- Assorted decision procedures
- Description
Toy-level implementation of some decision procedures
- Author
- Masahiro Sakai (masahiro.sakai@gmail.com)
- Bug reports
- https://github.com/msakai/toysolver/issues
- Category
- Algorithms
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- masahiro.sakai@gmail.com
- Package URL
- n/a
- Stability
- n/a