Dependencies for copilot-theorem-3.3
Libraries
copilot-theorem
- ansi-terminal (>=0.8 && <0.10)
- base (>=4.9 && <5)
- bimap (>=0.3 && <0.4)
- bv-sized (>=1.0.2 && <1.1)
- containers (>=0.4 && <0.7)
- copilot-core (>=3.3 && <3.4)
- data-default (>=0.7 && <0.8)
- directory (>=1.3 && <1.4)
- filepath (>=1.4.2 && <1.5)
- libBF (>=0.6.2 && <0.7)
- mtl (>=2.0 && <2.3)
- panic (>=0.4.0 && <0.5)
- parameterized-utils (>=2.1.1 && <2.2)
- parsec (>=2.0 && <3.2)
- pretty (>=1.0 && <1.2)
- process (>=1.6 && <1.7)
- random (>=1.1 && <1.2)
- transformers (>=0.5 && <0.6)
- what4 (>=1.1 && <1.2)
- xml (>=1.3 && <1.4)