{"id":26228189,"url":"https://github.com/maxbrheinl/sat-solver","last_synced_at":"2026-02-09T03:01:39.867Z","repository":{"id":279386278,"uuid":"938635099","full_name":"MaxBRheinl/SAT-Solver","owner":"MaxBRheinl","description":"Sat-Solver is a Prolog program that converts propositional logic formulas into CNF and solves them using the DPLL algorithm. It processes logical expressions and applies unit propagation, clause simplification, and variable branching. The project was mainly built to improve skills in Prolog.","archived":false,"fork":false,"pushed_at":"2025-02-25T09:11:56.000Z","size":5,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-08-04T12:39:31.643Z","etag":null,"topics":["cnf","dpll-algorithm","logical-programming","prolog","sat-solver"],"latest_commit_sha":null,"homepage":"","language":"Prolog","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/MaxBRheinl.png","metadata":{"files":{"readme":"README.txt","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2025-02-25T09:07:54.000Z","updated_at":"2025-02-26T10:30:02.000Z","dependencies_parsed_at":null,"dependency_job_id":"22288f3f-5442-4eb3-8267-5aed7d70f519","html_url":"https://github.com/MaxBRheinl/SAT-Solver","commit_stats":null,"previous_names":["maxbrheinl/sat-solver"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/MaxBRheinl/SAT-Solver","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MaxBRheinl%2FSAT-Solver","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MaxBRheinl%2FSAT-Solver/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MaxBRheinl%2FSAT-Solver/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MaxBRheinl%2FSAT-Solver/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MaxBRheinl","download_url":"https://codeload.github.com/MaxBRheinl/SAT-Solver/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MaxBRheinl%2FSAT-Solver/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29255374,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-09T01:52:29.835Z","status":"online","status_checked_at":"2026-02-09T02:00:09.501Z","response_time":56,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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":["cnf","dpll-algorithm","logical-programming","prolog","sat-solver"],"created_at":"2025-03-12T20:37:32.880Z","updated_at":"2026-02-09T03:01:39.062Z","avatar_url":"https://github.com/MaxBRheinl.png","language":"Prolog","funding_links":[],"categories":[],"sub_categories":[],"readme":"Export the necessary predicates in the sat_solver module.\nThe tests from the .plt file are loaded in your module automatically by using load_test_files/1.\n\nRun SAT tests:\nswipl sat_solver.pl\n?- run_tests.\n\nRun single test block:\n?- run_tests(cnf).\n\nRun single test:\n?- run_tests(cnf:to_cnf1).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmaxbrheinl%2Fsat-solver","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmaxbrheinl%2Fsat-solver","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmaxbrheinl%2Fsat-solver/lists"}