PyPI recent updates for torc-sat https://pypi.org/project/torc-sat/ Recent updates to the Python Package Index for torc-sat en 0.1.1 https://pypi.org/project/torc-sat/0.1.1/ Topological SAT preprocessor — detects UNSAT via cohomological obstructions caresment@gmail.com Tue, 31 Mar 2026 19:10:42 GMT 0.1.0 https://pypi.org/project/torc-sat/0.1.0/ Topological SAT preprocessor — detects UNSAT via cohomological obstructions caresment@gmail.com Tue, 31 Mar 2026 11:34:56 GMT