TensorSat
TensorSat is an experimental project to explore the usage of hyper-optimised tensor network contraction techniques in satisfiability (SAT/SMT solving).
GitHub repo: https://github.com/hashberg-io/tensorsat
Contents
API Documentation
- tensorsat
- tensorsat._autoray
- tensorsat._utils
- tensorsat._utils.meta
- tensorsat._utils.misc
- tensorsat.contractions
- tensorsat.contractions.abc
- tensorsat.contractions.cotengra
- tensorsat.contractions.simple
- tensorsat.diagrams
- tensorsat.lang
- tensorsat.lang.fin_rel
- tensorsat.lib
- tensorsat.lib.bincirc
- tensorsat.lib.sat
- tensorsat.viz
- tensorsat.viz.diagrams