{"id":15060853,"url":"https://github.com/polinasavelyeva/mysat","last_synced_at":"2025-10-04T19:31:38.240Z","repository":{"id":230757783,"uuid":"779668236","full_name":"PolinaSavelyeva/MySat","owner":"PolinaSavelyeva","description":"Simple console SAT-solver that utilizes DPLL algorithm and DIMACS input format","archived":true,"fork":false,"pushed_at":"2024-05-29T11:17:55.000Z","size":38,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2024-09-29T06:22:08.819Z","etag":null,"topics":["dpll-algorithm","fsharp","sat-solver"],"latest_commit_sha":null,"homepage":"","language":"F#","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/PolinaSavelyeva.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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-03-30T13:18:47.000Z","updated_at":"2024-07-06T10:54:18.000Z","dependencies_parsed_at":"2024-04-11T18:07:55.809Z","dependency_job_id":null,"html_url":"https://github.com/PolinaSavelyeva/MySat","commit_stats":null,"previous_names":["polinasavelyeva/dpll","polinasavelyeva/mysat"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PolinaSavelyeva%2FMySat","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PolinaSavelyeva%2FMySat/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PolinaSavelyeva%2FMySat/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PolinaSavelyeva%2FMySat/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/PolinaSavelyeva","download_url":"https://codeload.github.com/PolinaSavelyeva/MySat/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":219876757,"owners_count":16554786,"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","fsharp","sat-solver"],"created_at":"2024-09-24T23:05:29.775Z","updated_at":"2025-10-04T19:31:32.942Z","avatar_url":"https://github.com/PolinaSavelyeva.png","language":"F#","funding_links":[],"categories":[],"sub_categories":[],"readme":"# MySat\n\n![GitHub Workflow Status (with event)](https://img.shields.io/github/actions/workflow/status/PolinaSavelyeva/MySat/ci.yml)\n\nSimple console SAT-solver that utilizes DPLL algorithm and DIMACS input/output format.\n\n## Requirements\n\n- dotnet SDK (recommended version 7.0) for build and run\n- picosat tool for testing\n\n## Simple Usage\n\n1. Navigate to the directory:\n\n    ```\n    cd MySat/\n    ```\n\n2. Provide the relative or absolute path to input data in DIMACS format and run as follows:\n\n    ```\n    dotnet run examples/example.cnf\n    ```\n\nThe result of the above command:\n    \n```\ns SATISFIABLE\nv 1 -2 3 0\n```\n\n## Building\n\n1. Navigate to the directory:\n\n    ```\n    cd MySat/\n    ```\n\n2. Build the library using dotnet tools:\n\n    ```\n    dotnet build\n    ```\n   \n   or build in release configuration:\n\n   ```\n   dotnet build --configuration Release\n   ```\n\n## Testing via Bash\n\n1. Navigate to the directory:\n\n    ```\n    cd MySat/\n    ```\n\n2. Make test script executable:\n\n    ```\n    chmod +x ./test.sh\n    ```\n\n3. Provide the relative or absolute path to input data in DIMACS format and run script as follows:\n\n    ```\n    ./test.sh examples/example.cnf\n    ```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpolinasavelyeva%2Fmysat","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpolinasavelyeva%2Fmysat","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpolinasavelyeva%2Fmysat/lists"}