{"id":15286000,"url":"https://github.com/tortis/elm-sat","last_synced_at":"2025-09-04T20:47:12.170Z","repository":{"id":62419619,"uuid":"233509474","full_name":"tortis/elm-sat","owner":"tortis","description":"A simple DPLL SAT solver in Elm","archived":false,"fork":false,"pushed_at":"2020-01-13T06:50:40.000Z","size":23,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-01-29T04:42:38.191Z","etag":null,"topics":["dpll-algorithm","elm","elm-lang","sat","sat-solver"],"latest_commit_sha":null,"homepage":"https://package.elm-lang.org/packages/tortis/elm-sat/latest/","language":"Elm","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tortis.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2020-01-13T04:14:19.000Z","updated_at":"2022-10-24T19:28:45.000Z","dependencies_parsed_at":"2022-11-01T17:02:40.628Z","dependency_job_id":null,"html_url":"https://github.com/tortis/elm-sat","commit_stats":null,"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tortis%2Felm-sat","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tortis%2Felm-sat/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tortis%2Felm-sat/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tortis%2Felm-sat/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tortis","download_url":"https://codeload.github.com/tortis/elm-sat/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245169889,"owners_count":20571973,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["dpll-algorithm","elm","elm-lang","sat","sat-solver"],"created_at":"2024-09-30T15:09:10.452Z","updated_at":"2025-03-23T21:21:49.804Z","avatar_url":"https://github.com/tortis.png","language":"Elm","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Elm Sat [![pipeline status](https://gitlab.com/findley/elm-sat/badges/master/pipeline.svg)](https://gitlab.com/findley/elm-sat/commits/master)\nA simple [DPLL](https://en.wikipedia.org/wiki/DPLL_algorithm) sat solver implemented in Elm.\n\nNote: This repository is maintained at https://gitlab.com/findley/elm-sat and mirrored to https://github.com/tortis/elm-sat.\n\n## Usage\nThe Problem type is just an alias for `List (List Int)`. Variables (literals) are represented by integers where a negative integer indicates negation of the literal.\n\nSat problems must be in [CNF]() form.\n\n```Elm\nimport Sat\n\nproblem : Sat.Problem\nproblem = [ [ 1, 2 ], [ 1, 3 ], [ 2, 3 ], [ -1, -2, -3 ], [ 2, 3 ], [ -2, -3 ] ]\n\nsolution : Maybe Sat.Solution\nsolution = Sat.solve problem -- Just [1,2,-3]\n```\n\nThe Sat.Utils module exposes `fromDimacs` which will turn a DIMACS formatted string into a Problem.\n\n## Performance\nElm Sat performance appears to be worse than [MiniSAT compiled to JS](https://jgalenson.github.io/research.js/demos/minisat.html). Adding benchmarks and improving performance are areas for future development.\n\n## License\nThis code is distributed under the MIT license, see the [LICENSE](LICENSE) file.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftortis%2Felm-sat","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftortis%2Felm-sat","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftortis%2Felm-sat/lists"}