PyPI page
Home page
Author:
None
License:
GNU GENERAL PUBLIC LICENSE
Version 3, 29 June 2007
Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/>
Everyone is permitted ...
Summary:
Platform-tagged wheels bundling the Yices 2 SMT solver (CLI + shared library)
Latest version:
2.6.5.post24
Downloads last day:
779
Downloads last week:
5,010
Downloads last month:
28,673