JHUAPL/lantern-smt
1
0
Fork 0
mirror of https://github.com/JHUAPL/lantern-smt.git synced 2026-01-09 01:57:55 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
lantern-smt/requirements.txt
Joshua Brule d3c0da59d1 Clarify execution instructions
2020-08-17 14:58:27 -04:00

3 lines
32 B
Plaintext
Raw Permalink Blame History

torch==1.5.0
z3-solver==4.8.7.0
Reference in New Issue View Git Blame Copy Permalink