16 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
python-calcpy-git 0.1.r265.gb3c1dc0-2 2 0.07 Terminal calculator and advanced math solver using Python, IPython and SymPy (latest git commit) kseistrup 2024-12-23 08:55 (UTC)
highs 1.10.0-1 5 0.00 Linear optimization software x2b 2025-03-21 14:15 (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)
sketchsynth 1.7.6-1 1 0.00 A software synthesis tool for developing implementations from sketches aspirogrammer 2022-10-10 17:01 (UTC)
savilerow 1.9.1-1 1 0.00 A modelling assistant for CP thor77 2021-10-12 16:04 (UTC)
python-lapx 0.5.11.post1-2 0 0.00 Customized Tomas Kazmar's lap, Linear Assignment Problem solver (LAPJV/LAPMOD). envolution 2024-12-23 01:09 (UTC)
python-lap 1:0.5.12-1 0 0.00 Linear Assignment Problem solver using Jonker-Volgenant algorithm (LAPJV/LAPMOD) intelfx 2024-12-30 00:56 (UTC)
psi-exact-inference-git r1246.db0227c-1 0 0.00 Exact inference for probabilistic programs ixil 2019-01-06 14:18 (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)
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)
clmath-git 0.1-1 0 0.00 Commandline Math Tool and Calculator Kaleidox 2023-05-13 19:35 (UTC)
bertini2-git 2.0alpha8.r111.735bd7f-1 0 0.00 The redevelopment of Bertini in C++ vitaliikuzhdin 2024-12-22 17:41 (UTC)
bertini-bin 1.6-2 0 0.00 Homotopy continuation solver for systems of polynomial equations vitaliikuzhdin 2024-08-09 14:17 (UTC)
bertini-parallel 1.6-5 2 0.00 Homotopy continuation solver for systems of polynomial equations (parallel version with OpenMPI) vitaliikuzhdin 2024-12-23 12:05 (UTC)
bertini-serial 1.6-5 2 0.00 Homotopy continuation solver for systems of polynomial equations (serial version) vitaliikuzhdin 2024-12-23 12:05 (UTC)
bertini-common 1.6-5 2 0.00 Homotopy continuation solver for systems of polynomial equations (common files and documentation) vitaliikuzhdin 2024-12-23 12:05 (UTC)

16 packages found. Page 1 of 1.