webyrd / delsat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from matthiasnickles/diff-sat
Answer Set and SAT Solver for probability distribution-aware model sampling and multimodel optimization using differentiable satisfiability
License: MIT License