PyPI page
Home page
Author:
None
Summary:
just solve it - a command line tool to run multiple SMT (Satisfiability Modulo Theories) solvers in parallel
Latest version:
0.1.2
Required dependencies:
pyright
|
python-daemon
|
rich
Downloads last day:
16
Downloads last week:
182
Downloads last month:
510