205 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »

Name Version Votes Popularity? Description Maintainer
adns-git 1:adns.r1.5.1.0.g571b072-2 0 0.00 An asyncronous replacement resolver library nandub
alt-ergo 2.3.0-2 1 0.00 SMT solver for software verification orphan
amgx 2.2.0-1 0 0.00 Distributed multigrid linear solver library on GPU pychuang
android-constraint-layout 1.0.2-2 2 0.00 ConstraintLayout for Android (includes solver) sjakub
aspcud 1.9.5-1 1 0.00 Solver for package dependencies xuanruiqi
aspcud-svn r8385-1 1 0.00 Solver for package dependencies orphan
astap-bin 0.9.532-1 0 0.00 Astrometric (plate) solver, stacking of images, photometry and FITS viewer WhiredPlanck
batch_resolve 0.3.7-2 0 0.00 Fast asynchronous DNS resolver mersinvald
bcalc 16.05.0-1 4 0.00 Double-dummy solver for bridge (the card game). anntzer
bertini 1.6-1 1 0.00 Homotopy continuation solver for systems of polynomial equations akobel
bertini_real-git r1075.3dbac52-1 0 0.00 Numerical decomposition of real algebraic sets, based on the Bertini homotopy continuation solver akobel
boogie-git 0.r5030.8448ac1c-1 2 0.00 Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver joojoo
boolector 3.2.2-1 1 0.00 Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. Ice_Phoenix
boolector-git r10285.6fce0ac3-1 0 0.00 A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions deian
boolector-java 3.2.5-2 0 0.00 Java bindings for the Boolector SMT solver abdullin.am
calculix-doc 2.17-1 4 0.00 CalculiX: 3D finite element solver and post-processor (documentation and examples) mauritiusdadd
camfr 20070717-1 0 0.00 CAMFR (CAvity Modelling FRamework) is a fast, flexible, friendly full-vectorial Maxwell solver. j-l
candy-kingdom-git r1388.e44ef54-1 0 0.00 A collection of SAT solvers and tools for structure analysis in SAT problems. dunj3
ceres-solver-git r1467.db1f5b57-1 0 0.00 Solver for nonlinear least squares problems dtag
ceres-solver-legacy 1.14.0-4 0 0.00 Solver for nonlinear least squares problems. Legacy version needed for google cartographer bionade24
cloud-buster 1.5-1 1 0.00 A cloudflare-resolver orphan
cloud-buster-git 0.0.108.6d88178-2 1 0.00 A cloudflare-resolver orphan
cmdpack-wordadd 1.06-2 13 0.00 Addition word puzzle solver chungy
coin-or-osi-git 0.107.4-1 0 0.00 COIN-OR Open Solver Interface yhfudev
coin-or-qpoases 3.1.0-1 1 0.00 COIN-OR QP solver with online active set strategy bchretien
coin-or-symphony 5.6.17-2 1 0.00 COIN-OR solver for mixed-integer linear programs(MILPs) orphan
concorde 03.12.19-1 0 0.00 Travelling Salesman Problem Solver alberto-santini
cryptominisat4 4.5.3-1 2 0.00 A modern, multi-threaded, feature-rich, simplifying SAT solver keenerd
cryptominisat5-git 5.6.8.r171.gc1b9ed65-1 0 0.00 A modern multi-threaded SAT solver. With experimental features enabled. keenerd
cula 17-2 4 0.00 Provides GPU-accelerated implementations of the LAPACK and BLAS libraries for dense linear algebra using CUDA. Contains routines for systems solvers, singular value decompositions, and eigenproblems. sigmundv
cursewords 1.0.6-1 0 0.00 Terminal-based crossword puzzle solver lmartinez-mirror
cursewords-git 1.0.3.r0.ed5f7d5-1 0 0.00 Terminal-based crossword puzzle solver chungy
cvodes 2.7.0-1 0 0.00 CVODES is a solver for stiff and nonstiff ODE systems given in explicit form y’ = f(t,y,p) with sensitivity analysis capabilities (both forward and adjoint modes). Phaotee
dds 2.7.0-1 2 0.00 A bridge double dummy solver orphan
dnsprobe 1.0.3-1 0 0.00 Perform multiple dns queries of your choice with a list of user supplied resolvers orphan
dune-istl 2.7.1-1 1 0.00 Iterative solver template library PrinceMachiavell
ecos 2.0.8-1 4 0.00 A lightweight conic solver for second-order cone programming. thrasibule
eiquadprog 1.2.3-1 0 0.00 Quadratic Programing solver with eigen Nim65s
eiquadprog-docs 1.2.3-1 0 0.00 Quadratic Programing solver with eigen Nim65s
elastic-git 20190226.r136-1 0 0.00 Simple yet efficient finite element solver for linear elasticity problems in two and three dimensions. haawda
g17-star-database-mag17-astap 20190906-1 0 0.00 For the internal astrometric solver of astap. Contains 105 million stars up to magnitude 17. WhiredPlanck
gaol-git r6.6e6cd9a-1 0 0.00 GAOL (not Just Another Interval Arithmetic Library) is a C++ Interval Arithmetic Library that offers all operators required by interval constraint solvers. bburlacu
geoip-git 1:1.6.12.r8.g44e5ffc-1 1 0.00 Non-DNS IP-to-country resolver C library & utils bidulock
gresolver 0.0.5-10 0 0.00 A graphical frontend for dig orphan
gsvit 1.9.3-1 1 0.00 Open Source FDTD solver with graphics card computing support. mabl
gurobi80 8.0.0-1 0 0.00 State-of-the-art solver for mathematical programming user20159
gurobi81 8.1.0-1 0 0.00 State-of-the-art solver for mathematical programming user20159
haskell-diagrams-solve 0.1.1-1 0 0.00 Pure Haskell solver routines used by the diagrams project. orphan
hodoku 2.3.1-1 15 0.00 Sudoku generator/solver/analyzer SanskritFritz
hpipm 0.1.2-1 0 0.00 High-performance interior-point-method QP solvers acxz

205 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »