{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"dreal4","owner":"dreal","isFork":false,"description":"Automated Reasoning in Nonlinear Theories of Reals","allTopics":["smt-solver"],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":1,"issueCount":39,"starsCount":145,"forksCount":31,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T16:06:28.976Z"}},{"type":"Public","name":"probreach","owner":"dreal","isFork":false,"description":"Probabilistic reachability and parameter set synthesis for stochastic hybrid systems","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":8,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-20T20:38:46.724Z"}},{"type":"Public","name":"dreal3","owner":"dreal","isFork":false,"description":"There is a new version of dReal, available at <a href=\"https://github.com/dreal/dreal4\">https://github.com/dreal/dreal4</a>","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":2,"issueCount":77,"starsCount":48,"forksCount":36,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-08T18:02:24.943Z"}},{"type":"Public","name":"homebrew-dreal","owner":"dreal","isFork":false,"description":"homebrew tap for dReal","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-19T16:41:32.171Z"}},{"type":"Public","name":"dreal.github.io","owner":"dreal","isFork":false,"description":"www","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":5,"starsCount":1,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-11T14:31:15.137Z"}},{"type":"Public","name":"dreal-cmake-example-project","owner":"dreal","isFork":false,"description":"Show how to use dReal as an external library in CMake","allTopics":[],"primaryLanguage":{"name":"CMake","color":"#DA3434"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-25T12:17:27.587Z"}},{"type":"Public","name":"dreal-bazel-example-project","owner":"dreal","isFork":false,"description":"Show how to use dReal as an external library using bazel","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-17T01:16:13.416Z"}},{"type":"Public","name":"sreach","owner":"dreal","isFork":false,"description":"SReach is a Bounded Model Checker for hybrid systems with parametric uncertainty, and probabilistic hybrid automata with addtional randomness. It combines dreal/dreach and statistical analyzing methods.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":4,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-27T00:33:08.383Z"}},{"type":"Public","name":"CAV19","owner":"dreal","isFork":false,"description":" CAV'19: Artifact Evaluation <a href=\"https://dreal.github.io/CAV19\" rel=\"nofollow\">https://dreal.github.io/CAV19</a>","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-29T10:32:53.672Z"}},{"type":"Public","name":"benchmarks","owner":"dreal","isFork":false,"description":"Benchmarks","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-08T16:22:58.017Z"}},{"type":"Public","name":"biology","owner":"dreal","isFork":false,"description":"Biology related models","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-14T11:12:02.092Z"}},{"type":"Public archive","name":"CAV18","owner":"dreal","isFork":false,"description":"CAV'18: Artifact Evaluation","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-16T04:42:34.255Z"}},{"type":"Public","name":"sat-benchmarks","owner":"dreal","isFork":false,"description":"SAT Benchmarks","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-17T05:04:00.879Z"}},{"type":"Public","name":"DReal.jl","owner":"dreal","isFork":true,"description":"Nonlinear Constraint Solving and Optimization","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":6,"starsCount":7,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-06-12T12:39:15.594Z"}},{"type":"Public","name":"ppa-updater","owner":"dreal","isFork":false,"description":"Ubuntu PPA updater for dReal","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-28T20:45:43.602Z"}},{"type":"Public","name":"paper","owner":"dreal","isFork":false,"description":"Repository for some early dReal papers","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":4,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-21T14:34:44.403Z"}},{"type":"Public","name":"interpolants","owner":"dreal","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-17T18:46:09.740Z"}},{"type":"Public archive","name":"dreal2","owner":"dreal","isFork":false,"description":"Please check dreal4 instead. ","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":31,"starsCount":13,"forksCount":15,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-11-11T20:04:04.581Z"}},{"type":"Public","name":"manual","owner":"dreal","isFork":false,"description":"Programmer's Manual","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-05-06T20:49:23.222Z"}},{"type":"Public","name":"shell","owner":"dreal","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-22T14:38:51.750Z"}},{"type":"Public","name":"ace","owner":"dreal","isFork":true,"description":"Ace for dReal SMT Solver","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5262,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-11-14T22:51:49.868Z"}},{"type":"Public","name":"outdated_exist_forall","owner":"dreal","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-11-10T02:24:16.435Z"}},{"type":"Public","name":"drio","owner":"dreal","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-09-25T00:09:58.931Z"}},{"type":"Public","name":"quadcopter","owner":"dreal","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-08-26T16:56:11.703Z"}},{"type":"Public","name":"ace-builds","owner":"dreal","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1930,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-06-09T19:53:14.315Z"}},{"type":"Public","name":"tai","owner":"dreal","isFork":false,"description":"Test and Infer","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-05-29T01:04:56.202Z"}}],"repositoryCount":26,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}