The latest version of smtlib-backends-process is 0.3-4.
test:test
Dependencies
- base lib:base >=0
- bytestring lib:bytestring >=0
- data-default lib:data-default >=0
- smtlib-backends lib:smtlib-backends >=0
- smtlib-backends-process lib:smtlib-backends-process >=0
- smtlib-backends-tests lib:smtlib-backends-tests >=0
- tasty lib:tasty >=0
- tasty-hunit lib:tasty-hunit >=0
- typed-process lib:typed-process >=0
Reverse dependencies
None.