{"package": "py-aiger-sat", "summary": "Pythonic interface between AIGs and SAT solvers.", "pypi_url": "https://pypi.org/project/py-aiger-sat", "piwheels_url": "https://www.piwheels.org/project/py-aiger-sat", "releases": {"3.0.7": {"released": "2024-03-16 19:29:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-3.0.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-3.0.7-py3-none-any.whl", "filehash": "301bf572ff67b14bb0121fa74a838219c6867506949206d462568e1c55e7ddbb", "filesize": 6111, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger", "py-aiger-cnf", "python-sat"]}}}, "3.0.6": {"released": "2022-11-03 04:06:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-3.0.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-3.0.6-py3-none-any.whl", "filehash": "2fb0a1bebb75ae2e27e9dbc27c09a8d55e47f9611f5ed9464f5a296d9e276ed9", "filesize": 6159, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger", "py-aiger-cnf", "python-sat"]}}}, "3.0.5": {"released": "2021-11-16 23:45:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-3.0.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-3.0.5-py3-none-any.whl", "filehash": "2a2f2d59d39dcb6e2b0a499271c587f5c50081f45086aec721eb8dbd1b3e315f", "filesize": 6168, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "3.0.4": {"released": "2020-09-30 22:33:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-3.0.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-3.0.4-py3-none-any.whl", "filehash": "0742cf5cfa2d2ee41b222318d9825339b35a4765ed0cbc38cb1b4063792f513c", "filesize": 6311, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "3.0.3": {"released": "2020-09-12 06:41:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-3.0.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-3.0.3-py3-none-any.whl", "filehash": "a1ca1a673005b9718a06d3358f951976bc9576e6ffd63e1e4a2d108ea3fa45a4", "filesize": 6311, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "3.0.2": {"released": "2020-09-12 06:26:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-3.0.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-3.0.2-py3-none-any.whl", "filehash": "fd888727c21770921af10bd986525003fd817708d144038800337b5be3c37d46", "filesize": 6312, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "3.0.1": {"released": "2020-08-05 07:03:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-3.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-3.0.1-py3-none-any.whl", "filehash": "89c5605e6cba8cebba1a82ee2e616810916c099f03b00710928fc32435be1b96", "filesize": 6315, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "3.0.0": {"released": "2020-05-18 01:13:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-3.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-3.0.0-py3-none-any.whl", "filehash": "0ffdaa4ff05e51ff461e9a909e1e0953d5ef84f1d249289b292455e676ce9455", "filesize": 6167, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "2.0.2": {"released": "2020-05-17 23:43:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-2.0.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-2.0.2-py3-none-any.whl", "filehash": "e11982d661c5e0228f21d45d2d8c65f5929247b45b5400a554ead8de64e08c73", "filesize": 6104, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "2.0.1": {"released": "2020-05-17 22:23:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-2.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-2.0.1-py3-none-any.whl", "filehash": "b69a0cd342da95e29125413f6d12d0460ea6d498561ee83299582ab2b71962f4", "filesize": 6106, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "2.0.0": {"released": "2020-05-17 21:06:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-2.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-2.0.0-py3-none-any.whl", "filehash": "b7230af541ff813bd507a512590f950eed1976fc050989a1b2df577b8f72c4ce", "filesize": 6103, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "1.1.0": {"released": "2020-03-24 06:31:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-1.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-1.1.0-py3-none-any.whl", "filehash": "6616ee82dea402555a9a8deb9a5c96a9310df5688831ef5afab2eefff95b4214", "filesize": 6109, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "1.0.1": {"released": "2019-10-29 00:01:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-1.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-1.0.1-py3-none-any.whl", "filehash": "2fbefcde1dac45e70180cd2a6922f34ef5ca50dff5bc9d44e884ccf37846af23", "filesize": 6109, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "1.0.0": {"released": "2019-10-22 20:05:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-1.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-1.0.0-py3-none-any.whl", "filehash": "c4f3fb668810949c32f327734731e5912e7bbc0f2017d2cae440f99269dca759", "filesize": 5727, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "0.1.1": {"released": "2019-07-24 22:00:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-0.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-0.1.1-py3-none-any.whl", "filehash": "4151506df972799ecfb3401a68c42fe16320339e7d326bf9b8b78227cbf141ce", "filesize": 4845, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}, "0.1.0": {"released": "2019-07-24 05:19:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_sat-0.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-sat/py_aiger_sat-0.1.0-py3-none-any.whl", "filehash": "5399c036ca838a34874596c1f8c078fbaa20f0e403c7acc80864ad1d0a82756f", "filesize": 4281, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "py-aiger", "py-aiger-cnf", "python-sat"]}}}}}