{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/ersatz","name":"ersatz","description":"A monad for expressing SAT or QSAT problems using observable sharing.\n\nFor example, we can express a full-adder with:\n\nLonger Examples\n\nIncluded are a couple of examples included with the distribution.\nNeither are as fast as a dedicated solver for their respective\ndomains, but they showcase how you can solve real world problems\ninvolving 10s or 100s of thousands of variables and constraints\nwith ersatz.\n\nThis solves the \"regular crossword puzzle\" (grid.pdf) from the 2013 MIT mystery hunt.\n\nSPOILER","version":"0.6","softwareVersion":"0.6","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/ekmett/ersatz","issueTracker":"https://github.com/ekmett/ersatz/issues","url":"http://github.com/ekmett/ersatz","keywords":["algorithms","bsd3","library","logic","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"EricMertens"},{"@type":"Person","name":"EdwardKmett"}],"author":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"EricMertens"},{"@type":"Person","name":"EdwardKmett"}],"copyrightHolder":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"EricMertens"},{"@type":"Person","name":"EdwardKmett"}],"dateCreated":"2013-03-09","dateModified":"2025-06-17","datePublished":"2025-06-17","copyrightYear":2013,"downloadUrl":"https://hackage.haskell.org/package/ersatz-0.6/ersatz-0.6.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/ersatz"],"https://www.w3.org/ns/activitystreams#likes":65,"https://forgefed.org/ns#forks":16}