{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/satplus","name":"satplus","description":"\n\n[Index] [Quick Jump]\n\nPackage maintainers\n\nFor package maintainers and hackage trustees\n\nCandidates\n\n\n\nThis is a Haskell library for constraint programming using a SAT-solver,\nin particular MiniSAT.\n\nThe names and types of these functions may change at any moment!\n\nThe basic MiniSAT functions are:\n\nThis library also supports boolean operators:\n\nAnd binary operators:\n\nWe also have implemented a convenient type that links Haskell values\nwith the SAT-solver:\n\nWe also provide:\n\nWe often want to add constraints that say that two things are equal,\nor not equal, to each other.\n\nInstances of this class are:\n\nWe often want to add constraints that say that one thing is smaller than\nanother.\n\nInstances of this class are:\n\nWe have support for unary numbers (represented as sorted lists of Lits).\nThese are handy when you want to count number of literals in a set being\ntrue, for example.\n\nWe also provide:\n\nWe have support for binary numbers (represented as lists of Lits).\nThese are handy when you want to represent numbers that are large.\n\nWe also provide:\n\nWe also support linear arithmetic terms over a base type of variables\n(for example Lit, Unary, or Binary).\n\n(not done yet)\n\nWe also support finding solutions that are minimized or maximized w.r.t.\na particular argument.\n\nTODO: add optimization over binary numbers.","version":"0.1.0.0","softwareVersion":"0.1.0.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/koengit/satplus","url":"https://github.com/koengit/satplus/","keywords":["bsd3","library","logic","Propose Tags"],"maintainer":[{"@type":"Person","name":"KoenClaessen"}],"author":[{"@type":"Person","name":"KoenClaessen"}],"copyrightHolder":[{"@type":"Person","name":"KoenClaessen"}],"dateCreated":"2026-05-19","dateModified":"2026-05-19","datePublished":"2026-05-19","copyrightYear":2026,"downloadUrl":"https://hackage.haskell.org/package/satplus-0.1.0.0/satplus-0.1.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/satplus"]}