Simple SAT Solver via superpositions · GitHub - discu.eu

Reddit

Solving SAT via interaction net superpositions https://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615 3 comments 9/1/2024 programminglanguages

We can solve 3-SAT "quickly" by using superpositions on interaction nets https://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615 11 comments 9/1/2024 haskell

Linking pages

Truly Optimal Evaluation with Unordered Superpositions · GitHub https://gist.github.com/VictorTaelin/93c327e5b4e752b744d7798687977f8a 13 comments

Linked pages

https://twitter.com/VictorTaelin/status/1744788091833917696 30 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:gist.github.com

Search title: Simple SAT Solver via superpositions · GitHub

See how to search.

Submit link to: