9 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
highs 1.5.3-1 3 0.10 Linear optimization software x2b 2023-05-28 07:32 (UTC)
minion 2.0-3 2 0.00 A relatively new constraint solver which is fast and scales well as problem size increases thor77 2016-04-27 15:22 (UTC)
tenace 0.14-1 2 0.00 A Bridge hand viewer and editor with double dummy solver orphan 2016-07-29 23:33 (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)
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)

9 packages found. Page 1 of 1.