PicoSAT SAT解算器Python Wrapper

此存储库中有两个包装器：

• SWIG包装器（picosat_python.i）
• CFFI包装器（picosat_CFFI.py）

版权所有（c）2015，Andrea Micheli和Marco Gario

特此免费向任何获得副本的人授予许可本软件和相关文档文件（“软件”）的无限制地处理软件，包括但不限于使用、复制、修改、合并、发布、分发、再许可和/或出售本软件的副本，并允许接受本软件的人员根据以下条件提供：

上述版权声明和本许可声明应包含在软件的所有副本或实质性部分。

本软件按“原样”提供，不提供任何形式的明示或暗示，包括但不限于适销性保证，特定用途的适用性和非侵权性。在任何情况下作者或版权持有人对任何索赔、损害或其他责任责任，无论是合同诉讼、侵权诉讼还是其他诉讼与软件或使用或其他交易有关的在软件中。

版权所有（c）2006-2014，阿明·比尔，约翰内斯·开普勒大学。

特此免费向任何获得副本的人授予许可本软件和相关文档文件（“软件”）的无限制地处理软件，包括但不限于使用、复制、修改、合并、发布、分发、再许可和/或出售本软件的副本，并允许接受本软件的人员根据以下条件提供：

上述版权声明和本许可声明应包含在软件的所有副本或实质性部分。

本软件按“原样”提供，不提供任何形式的明示或暗示，包括但不限于适销性保证，特定用途的适用性和非侵权性。在任何情况下作者或版权持有人对任何索赔、损害或其他责任责任，无论是合同诉讼、侵权诉讼还是其他诉讼与软件或使用或其他交易有关的在软件中。