{"id":19976791,"url":"https://github.com/shaunazzopardi/strix-docker","last_synced_at":"2025-08-03T06:12:56.672Z","repository":{"id":40590163,"uuid":"319666455","full_name":"shaunazzopardi/strix-docker","owner":"shaunazzopardi","description":"A Dockerfile to install Strix (https://strix.model.in.tum.de/) in an Ubuntu docker image.","archived":false,"fork":false,"pushed_at":"2023-09-27T14:25:25.000Z","size":15,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-01-12T10:07:55.837Z","etag":null,"topics":["docker","strix","synthesis","ubuntu"],"latest_commit_sha":null,"homepage":"","language":"Dockerfile","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/shaunazzopardi.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":"2020-12-08T14:39:32.000Z","updated_at":"2022-06-26T21:06:38.000Z","dependencies_parsed_at":"2024-11-13T03:27:08.074Z","dependency_job_id":"a61f2961-25ef-45b3-b819-e6a357f90079","html_url":"https://github.com/shaunazzopardi/strix-docker","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/shaunazzopardi%2Fstrix-docker","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/shaunazzopardi%2Fstrix-docker/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/shaunazzopardi%2Fstrix-docker/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/shaunazzopardi%2Fstrix-docker/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/shaunazzopardi","download_url":"https://codeload.github.com/shaunazzopardi/strix-docker/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":241411543,"owners_count":19958753,"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":["docker","strix","synthesis","ubuntu"],"created_at":"2024-11-13T03:25:35.921Z","updated_at":"2025-03-01T19:13:29.887Z","avatar_url":"https://github.com/shaunazzopardi.png","language":"Dockerfile","funding_links":[],"categories":[],"sub_categories":[],"readme":"# strix-docker\nA Dockerfile to install [St](https://strix.model.in.tum.de/)r[ix](https://github.com/meyerphi/strix) in an Ubuntu docker image. \n\nI am using this for my research to have Strix available on a Windows machine.\n\n## Build\n\n  1. Install [docker](https://www.docker.com/).\n  2. In a folder containing the Dockerfile run:\n    \n```\n    docker build --tag=strix .\n```\n   \n  3. And that's it! Strix should be ready to run.\n  4. Try it by running: \n     \n```\n    docker run strix -f \"G (req0 -\u003e F grant0) \u0026\u0026 G (req1 -\u003e F grant1) \u0026\u0026 G (!(grant0 \u0026\u0026 grant1))\" --ins=\"req0,req1\" --outs=\"grant0,grant1\"\n```\n\n## Usage\n\nSee [strix](https://github.com/meyerphi/strix) for command-line usage instructions.\n\n## Version\n\nThis will install Strix 21.0.0 as at commit fd372cf. To try the script at different commits edit line 18 in ./Dockerfile appropriately. This comes with no guarantees, the script was only tested with commit fd372cf.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fshaunazzopardi%2Fstrix-docker","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fshaunazzopardi%2Fstrix-docker","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fshaunazzopardi%2Fstrix-docker/lists"}