Package bindings-yices
Top Similar Packages
Packages that have similar categories to this package
- bindings-DSL 70
- zeromq4-haskell 38
- inline-c 27
- hsyslog 26
- storable-record 25
- toysolver 25
- leveldb-haskell 18
- cuda 17
- storable-tuple 17
- gitlib 14
- hslua 13
- sbv 13
- clingo 11
- ncurses 11
- thrift 11
- jvm 10
- inline-r 9
- hopenssl 8
- z3 8
- zeromq-haskell 8