tensorsat 0.1.0

A SAT solver based on relational network contraction.

TensorSat

A SAT/SMT Solver based on hyper-optimised tensor network contraction.

• The tensorsat folder contains code for the future tensorsat Python package which was deemed to be relatively stable.
• The notebooks folder contains sub-folders with Jupyter notebooks containing feature demonstrations and experiments.
• The notebooks/prototypes folder contains sub-folder with notebooks for feature prototypes and draft experiments.
• The paper folder contains the working draft of the companion paper for the library.

Contents and structure are subject to change during development.

Install

You can install/upgrade this package from PyPI using pip:

pip install -U tensorsat

Contributing

All contributions, big and small, are very appreciated! File an issue for bug reports, suggestions and questions, or make a pull request to actively contribute to the code or documentation.

However you decide to help, please refer to the Contributor Covenant Code of Conduct for what we expect from our community.

For more information, please see CONTRIBUTING.

License

Multiple licensing terms apply to different parts of this repository:

• The tensorsat library is licensed under LGPL v3.
• All code in the notebooks folder and subfolders is licensed under GPL v3.
• All rights to the companion paper are reserved.