5 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
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)
uppaal 5.0.0-3 0 0.00 Verify timed automata models and learn strategies. falkecarlsen 2024-03-07 09:19 (UTC)
cvc5-bin 1.1.2-2 1 0.00 An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems Neferin 2024-06-22 10:25 (UTC)
stainless-git v0.9.8.1.r5.1890d8ca-1 1 0.00 Verification framework and tool for higher-order Scala programs sankalpgambhir 2023-10-24 12:26 (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.