5 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
cvc5-bin 1.2.0-1 2 0.14 An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems Neferin 2024-09-08 20:43 (UTC)
uppaal 5.0.0-3 0 0.00 Verify timed automata models and learn strategies. falkecarlsen 2024-03-07 09:19 (UTC)
stainless-git v0.9.8.9.r0.00103687f-1 1 0.00 Verification framework and tool for higher-order Scala programs sankalpgambhir 2024-10-23 07:08 (UTC)
plasma5-applets-plasma-pstate-git r307.6abb0a9-3 0 0.00 "P-state and CPUFreq Manager" CPU/GPU performance management widget/plasmoid - includes fix for governor combobox bug - maintained(-ish) fork ('dev' branch) by GitHub user "frankenfruity" including CPU hotplug support Cynthetika 2023-12-17 12:31 (UTC)
boolector-git 3.2.2.r18.g1a89c229-1 0 0.00 A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions xiretza 2022-05-03 13:12 (UTC)

5 packages found. Page 1 of 1.