{"id":17252198,"url":"https://github.com/eagletmt/ruby-minisat","last_synced_at":"2025-03-26T07:23:23.484Z","repository":{"id":7040225,"uuid":"8317250","full_name":"eagletmt/ruby-minisat","owner":"eagletmt","description":"Ruby binding for MiniSat","archived":false,"fork":false,"pushed_at":"2015-09-23T08:41:44.000Z","size":276,"stargazers_count":1,"open_issues_count":0,"forks_count":2,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-24T09:50:58.753Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Ruby","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/eagletmt.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2013-02-20T16:38:41.000Z","updated_at":"2015-09-10T02:14:23.000Z","dependencies_parsed_at":"2022-09-22T11:40:38.280Z","dependency_job_id":null,"html_url":"https://github.com/eagletmt/ruby-minisat","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/eagletmt%2Fruby-minisat","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eagletmt%2Fruby-minisat/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eagletmt%2Fruby-minisat/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eagletmt%2Fruby-minisat/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/eagletmt","download_url":"https://codeload.github.com/eagletmt/ruby-minisat/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245606609,"owners_count":20643212,"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":[],"created_at":"2024-10-15T06:53:17.511Z","updated_at":"2025-03-26T07:23:23.464Z","avatar_url":"https://github.com/eagletmt.png","language":"Ruby","funding_links":[],"categories":[],"sub_categories":[],"readme":"# MiniSat\n\n[![Build Status](https://secure.travis-ci.org/eagletmt/ruby-minisat.png)](https://travis-ci.org/eagletmt/ruby-minisat)\n\nRuby binding for [MiniSat](http://minisat.se/).\n\n## Installation\n\nAdd this line to your application's Gemfile:\n\n    gem 'minisat', :git =\u003e 'git://github.com/eagletmt/ruby-minisat.git'\n\nAnd then execute:\n\n    $ bundle\n\n## Usage\n\n```ruby\nrequire 'minisat'\n\ns = MiniSat::Solver.new\nv1 = MiniSat::Var.new s\nv2 = MiniSat::Var.new s\nv3 = MiniSat::Var.new s\ns \u003c\u003c [v1] \u003c\u003c [-v2, v3]  # v1 /\\ (not(v2) \\/ v3)\nm = s.solve\nputs \"v1: #{m[v1]}, v2: #{m[v2]}, v3: #{m[v3]}\"\n```\n\n## Contributing\n\n1. Fork it\n2. Create your feature branch (`git checkout -b my-new-feature`)\n3. Commit your changes (`git commit -am 'Add some feature'`)\n4. Push to the branch (`git push origin my-new-feature`)\n5. Create new Pull Request\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Feagletmt%2Fruby-minisat","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Feagletmt%2Fruby-minisat","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Feagletmt%2Fruby-minisat/lists"}