{"id":20703786,"url":"https://github.com/mrandl/satsolver","last_synced_at":"2025-06-14T18:32:44.117Z","repository":{"id":44961794,"uuid":"280632685","full_name":"MRandl/SatSolver","owner":"MRandl","description":"A toy functional and parallel SAT solver implementation in Scala","archived":false,"fork":false,"pushed_at":"2022-07-12T14:07:50.000Z","size":76,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"master","last_synced_at":"2025-01-17T19:55:23.755Z","etag":null,"topics":["dotty","functional-programming","sat-solver","scala"],"latest_commit_sha":null,"homepage":"","language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/MRandl.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-07-18T10:26:01.000Z","updated_at":"2024-06-25T07:56:16.000Z","dependencies_parsed_at":"2022-07-13T15:30:02.514Z","dependency_job_id":null,"html_url":"https://github.com/MRandl/SatSolver","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MRandl%2FSatSolver","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MRandl%2FSatSolver/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MRandl%2FSatSolver/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MRandl%2FSatSolver/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MRandl","download_url":"https://codeload.github.com/MRandl/SatSolver/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":242970688,"owners_count":20214853,"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":["dotty","functional-programming","sat-solver","scala"],"created_at":"2024-11-17T01:09:33.660Z","updated_at":"2025-03-11T04:29:12.248Z","avatar_url":"https://github.com/MRandl.png","language":"Scala","funding_links":[],"categories":[],"sub_categories":[],"readme":"## SatSolver\n\n### Introduction\nThis is a parallel and functional SAT solver written in Scala 3.\n\n### Requirements\nThis project requires [Dotty](https://github.com/lampepfl/dotty), the experimental compiler for Scala 3. If you intend on running this outside of an IDE, you may want to use SBT or Bloop as Scala build tools, as this project is not maintained for the others.\n\n### What can it do ?\nThis piece of code can solve SAT problems given in the standard Dimacs CNF format.\nOn my old i5-4590, it can handle anywhere from 50 to 70 variables almost instantly, and 200-250 variables in the time you need for a coffee. This is hence not meant to be used in any serious context.\n\n### How do I run it ?\nDownload it, compile it with Dotty and run with one argument indicating the path where the Dimacs file to solve is located. Four examples are included, use res/\\\u003csomething\\\u003e.dimacs to run one of those. An example bash command would be ```$ sbt \"run res/3-medium.dimacs\"```\n\n### Can I reuse/modify this project ?\nSure, but keep it open source and cite your sources. See the license for more details.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmrandl%2Fsatsolver","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmrandl%2Fsatsolver","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmrandl%2Fsatsolver/lists"}