{"id":14477015,"name":"satplus","ecosystem":"hackage","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.","homepage":"https://github.com/koengit/satplus/","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/koengit/satplus","keywords_array":["bsd3","library","logic","Propose Tags"],"namespace":null,"versions_count":1,"first_release_published_at":"2026-05-19T12:35:26.000Z","latest_release_published_at":"2026-05-19T12:35:26.000Z","latest_release_number":"0.1.0.0","last_synced_at":"2026-05-19T13:01:15.780Z","created_at":"2026-05-19T13:01:13.104Z","updated_at":"2026-05-19T13:23:46.821Z","registry_url":"https://hackage.haskell.org/package/satplus","install_command":"cabal install satplus","documentation_url":null,"metadata":{},"repo_metadata":{},"repo_metadata_updated_at":"2026-05-19T13:23:45.645Z","dependent_packages_count":0,"downloads":0,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":99.81198098918891,"dependent_repos_count":53.57497258056092,"dependent_packages_count":19.721105133963547,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":57.702686234571125},"purl":"pkg:hackage/satplus","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/satplus","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/satplus","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/satplus/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/satplus/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/satplus/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/satplus/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/satplus/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/satplus/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/satplus/codemeta","maintainers":[{"uuid":"KoenClaessen","login":"KoenClaessen","name":null,"email":null,"url":null,"packages_count":2,"html_url":"https://hackage.haskell.org/user/KoenClaessen","role":null,"created_at":"2026-05-19T13:23:46.708Z","updated_at":"2026-05-19T13:23:46.708Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/KoenClaessen/packages"}]}