The latest version of smtlib-backends-process is 0.3-4.
lib:smtlib-backends-process
Modules
Dependencies
- async lib:async >=2.2.4 && <2.3
- base lib:base >=4.14 && <4.17.0
- bytestring lib:bytestring >=0.10.12 && <0.11
- data-default lib:data-default >=0.7.1 && <0.8
- smtlib-backends lib:smtlib-backends >=0.2 && <0.3
- typed-process lib:typed-process >=0.2.10 && <0.3
Reverse dependencies
Direct only. Not exhaustive.
- smtlib-backends-process test:test