{"id":24540575,"url":"https://github.com/sybila/pithya-gui","last_synced_at":"2025-03-16T05:43:17.415Z","repository":{"id":140590768,"uuid":"74594652","full_name":"sybila/pithya-gui","owner":"sybila","description":"R based GUI for biodivine ","archived":false,"fork":false,"pushed_at":"2020-12-15T18:59:35.000Z","size":1814,"stargazers_count":1,"open_issues_count":16,"forks_count":1,"subscribers_count":8,"default_branch":"clean-up","last_synced_at":"2025-01-22T18:14:06.610Z","etag":null,"topics":["model-checker","modeling","parameter-estimation"],"latest_commit_sha":null,"homepage":null,"language":"R","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/sybila.png","metadata":{"files":{"readme":"README.md","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}},"created_at":"2016-11-23T16:28:33.000Z","updated_at":"2020-12-15T18:59:39.000Z","dependencies_parsed_at":"2023-09-25T00:57:41.954Z","dependency_job_id":null,"html_url":"https://github.com/sybila/pithya-gui","commit_stats":{"total_commits":197,"total_committers":4,"mean_commits":49.25,"dds":0.4365482233502538,"last_synced_commit":"869a90202a2e1790ee50f724e3bc2c7dd20ed826"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sybila%2Fpithya-gui","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sybila%2Fpithya-gui/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sybila%2Fpithya-gui/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sybila%2Fpithya-gui/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sybila","download_url":"https://codeload.github.com/sybila/pithya-gui/tar.gz/refs/heads/clean-up","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243830914,"owners_count":20354850,"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":["model-checker","modeling","parameter-estimation"],"created_at":"2025-01-22T18:14:09.113Z","updated_at":"2025-03-16T05:43:17.396Z","avatar_url":"https://github.com/sybila.png","language":"R","readme":"[![Build Status](https://travis-ci.org/sybila/pithya-core.svg?branch=master)](https://travis-ci.org/sybila/pithya-core)\n[![License](https://img.shields.io/badge/License-GPL%20v3-blue.svg?style=flat)](https://github.com/sybila/biodivine-ctl/blob/master/LICENSE.txt)\n\nPithya is a tool for parameter synthesis of ODE-based models and properties based on a hybrid extension of CTL.\n\n## Online demo\n\nTo try Pithya online, visit [pithya.fi.muni.cz](https://pithya.fi.muni.cz/). In case of any problems/questions, feel free to contact us at [sybila@fi.muni.cz](mailto:sybila@fi.muni.cz).\n\n## Installation and dependencies\n\nTo run Pithya, you need to have **Java 8+** and Microsoft **Z3 4.5.0** \nand **R** installed. If your OS is supported, we strongly recommend downloading precompiled\nZ3 binaries from github (Pithya allows you to specify a custom Z3 \nlocation, so you don't necessarily need to have it in your PATH, but we recommend doing that anyway).\n\nThe full installation process for the GUI is described in the [manual](http://biodivine.fi.muni.cz/docs/pithya/manual.pdf).\nYou can also use Pithya from command line. For more information, see the [core module](https://github.com/sybila/pithya-core) repository.\n\n### Project status\n\nPithya is composed of several independent modules. Here you can find links to them and their current status:\n\n[![Release](https://jitpack.io/v/sybila/ctl-model-checker.svg)](https://jitpack.io/#sybila/ctl-model-checker)\n[![Build Status](https://travis-ci.org/sybila/ctl-model-checker.svg?branch=master)](https://travis-ci.org/sybila/ctl-model-checker)\n[![codecov.io](https://codecov.io/github/sybila/ctl-model-checker/coverage.svg?branch=master)](https://codecov.io/github/sybila/ctl-model-checker?branch=master)\n[CTL Model Checker](https://github.com/sybila/ctl-model-checker)\n\n[![Release](https://jitpack.io/v/sybila/huctl.svg)](https://jitpack.io/#sybila/huctl)\n[![Build Status](https://travis-ci.org/sybila/huctl.svg?branch=master)](https://travis-ci.org/sybila/huctl)\n[![codecov.io](https://codecov.io/github/sybila/huctl/coverage.svg?branch=master)](https://codecov.io/github/sybila/huctl?branch=master)\n[CTL Query Parser](https://github.com/sybila/huctl)\n\n[![Release](https://jitpack.io/v/sybila/ode-generator.svg)](https://jitpack.io/#sybila/ode-generator)\n[![Build Status](https://travis-ci.org/sybila/ode-generator.svg?branch=master)](https://travis-ci.org/sybila/ode-generator)\n[![codecov.io](https://codecov.io/github/sybila/ode-generator/coverage.svg?branch=master)](https://codecov.io/github/sybila/ode-generator?branch=master)\n[ODE State Space Generator](https://github.com/sybila/ode-generator)\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsybila%2Fpithya-gui","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsybila%2Fpithya-gui","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsybila%2Fpithya-gui/lists"}