https://pypi.tw.martin98.com/project/satlll/ Recent updates to the Python Package Index for satlll en https://pypi.tw.martin98.com/project/satlll/0.1.0/ A Python tool that implements Lovasz Local Lemma's application on The Boolean Satisfiability (SAT) problem, which includes an instance geneartor,an algorithm (decision procedure), which decide that if a SAT instance satisfies in local lemma regime, and a solver can find solution or sample a uniform random solution in the local lemma regime. wenwh96@gmail.com Wed, 01 Mar 2023 10:06:33 GMT