10 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
highs 1.7.0-1 5 0.25 Linear optimization software x2b 2024-03-12 13:15 (UTC)
savilerow 1.9.1-1 1 0.00 A modelling assistant for CP thor77 2021-10-12 16:04 (UTC)
oink-git r160.3327c54-1 0 0.00 Oink is an implementation of modern parity game solvers written in C++. lonne 2021-09-17 12:14 (UTC)
python-calcpy-git 0.1.r216.g9d78f3f-1 2 0.70 Terminal calculator and advanced math solver using Python, IPython and SymPy (built from latest commit) kseistrup 2024-02-29 16:53 (UTC)
clmath-git 0.1-1 0 0.00 Commandline Math Tool and Calculator Kaleidox 2023-05-13 19:35 (UTC)
psi-exact-inference-git r1246.db0227c-1 0 0.00 Exact inference for probabilistic programs ixil 2019-01-06 14:18 (UTC)
limboole 1.2-2 0 0.00 A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas. gilcu3 2022-09-05 10:19 (UTC)
python-lap 1:0.4.0-1 2 0.44 lap is a linear assignment problem solver using Jonker-Volgenant algorithm for dense (LAPJV) or sparse (LAPMOD) matrices. fanyujun 2024-03-12 07:03 (UTC)
sketchsynth 1.7.6-1 1 0.00 A software synthesis tool for developing implementations from sketches aspirogrammer 2022-10-10 17:01 (UTC)
tenace 0.17-1 2 0.00 A Bridge hand viewer and editor with double dummy solver orphan 2023-06-28 18:31 (UTC)

10 packages found. Page 1 of 1.