PyPI page
Home page
Author:
None
License:
MIT License
Copyright (c) 2023 Kaiyu Yang
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documen...
Summary:
A simple wrapper to run multiple SMT solvers in parallel.
Latest version:
1.0.0
Optional dependencies:
black
|
hatch
|
ipython
|
mypy
|
notebook
Downloads last day:
1
Downloads last week:
68
Downloads last month:
141