{"id":15713499,"url":"https://github.com/darkstego/ortools-sat","last_synced_at":"2025-03-30T18:46:29.698Z","repository":{"id":253846513,"uuid":"839140357","full_name":"darkstego/ortools-sat","owner":"darkstego","description":"Crystal Lang bindings for OR-Tools Sat solver","archived":false,"fork":false,"pushed_at":"2024-08-23T01:22:41.000Z","size":29,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-02-05T21:25:40.009Z","etag":null,"topics":["constraint-programming","crystal","crystal-lang","ortools","sat-solver"],"latest_commit_sha":null,"homepage":"","language":"Crystal","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/darkstego.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-08-07T03:49:25.000Z","updated_at":"2024-08-23T01:22:44.000Z","dependencies_parsed_at":"2024-10-24T10:51:05.572Z","dependency_job_id":"9f5a83f8-9f46-4f8e-9275-ff94c5ecabe2","html_url":"https://github.com/darkstego/ortools-sat","commit_stats":null,"previous_names":["darkstego/ortools-sat"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/darkstego%2Fortools-sat","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/darkstego%2Fortools-sat/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/darkstego%2Fortools-sat/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/darkstego%2Fortools-sat/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/darkstego","download_url":"https://codeload.github.com/darkstego/ortools-sat/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246365637,"owners_count":20765546,"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":["constraint-programming","crystal","crystal-lang","ortools","sat-solver"],"created_at":"2024-10-03T21:31:48.844Z","updated_at":"2025-03-30T18:46:29.345Z","avatar_url":"https://github.com/darkstego.png","language":"Crystal","funding_links":[],"categories":[],"sub_categories":[],"readme":"# ortools-sat\n\nCrystal bindings for the OR-Tools SAT Solver\n\n## Installation\n\n1. Add the dependency to your `shard.yml`:\n\n   ```yaml\n   dependencies:\n     ortools-sat:\n       github: darkstego/ortools-sat\n   ```\n\n2. Run `shards install`\n\n## Usage\n\nExample:\n```crystal\nrequire \"ortools-sat\"\n\nmodel = ORTools::Sat::Model.new\na = model.new_int_var(0,3)\nb = model.new_int_var(5,10)\nmodel.add_constraint 2*a \u003e b\nsolution = model.solve\nif solution.is_a? ORTools::Sat::ValidSolution\n  puts \"a = #{solution.value a}\"\n  puts \"b = #{solution.value b}\"\nend\n```\n\n## Contributing\n\n1. Fork it (\u003chttps://github.com/darkstego/ortools-sat/fork\u003e)\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 a new Pull Request\n\n## Contributors\n\n- [Abdulla Bubshait](https://github.com/darkstego) - creator and maintainer\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdarkstego%2Fortools-sat","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdarkstego%2Fortools-sat","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdarkstego%2Fortools-sat/lists"}