178 packages found. Page 1 of 4.

1 2 3 4 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
adns-ipv6 1.4-1 0 0.00 adns is an asyncronous replacement resolver library with ipv6 support nandub
alt-ergo 2.3.0-2 1 0.00 SMT solver for software verification Alad
aspcud-svn r8385-1 1 0.00 Solver for package dependencies vbmithr
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_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.r4273.bad6c01-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 fhahn
boolector-git r10213.b9d1bef7-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.3-1 0 0.00 Java bindings for the Boolector SMT solver abdullin.am
cadical 1.2.1-1 0 0.00 A simple CDCL satisfiability solver keenerd
camfr 20070717-1 0 0.00 CAMFR (CAvity Modelling FRamework) is a fast, flexible, friendly full-vectorial Maxwell solver. j-l
ceres-solver-git r1467.db1f5b57-1 0 0.00 Solver for nonlinear least squares problems dtag
cloud-buster 1.0-3 1 0.00 A cloudflare-resolver Shibumi
cloud-buster-git 0.0.108.6d88178-2 1 0.00 A cloudflare-resolver Shibumi
cmdpack-wordadd 1.06-2 13 0.00 Addition word puzzle solver chungy
coin-or-coinasl 1.4.2-1 0 0.00 COIN-OR autotools harness to build AMPL Solver Library xantares
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) TheGoliath
colorcode 0.8.5-2 1 0.00 Advanced MasterMind game and solver zoe
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.3-1 0 0.00 Terminal-based crossword puzzle solver chungy
cursewords-git 1.0.3.r0.ed5f7d5-1 0 0.00 Terminal-based crossword puzzle solver chungy
dds 2.7.0-1 2 0.00 A bridge double dummy solver Afwas
deadwood 3.3.02-1 0 0.00 Deadwood is MaraDNS 2.0's recursive resolver figue
dune-istl 2.6.0-1 1 0.00 Iterative solver template library PrinceMachiavell
eiquadprog 1.1.1-1 0 0.00 Quadratic Programing solver with eigen Nim65s
eiquadprog-docs 1.1.1-1 0 0.00 Quadratic Programing solver with eigen Nim65s
elmerfem-git 20151029.dca9492-1 3 0.00 Simulation tool for CFD, FEM, electromagnetics, heat transfer and others featuring a PDE solver. orphan
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
glucose 4.1-1 0 0.00 Parallel SAT solver based on Minisat, with glue clauses. keenerd
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
haskell-diagrams-solve 0.1.1-1 0 0.00 Pure Haskell solver routines used by the diagrams project. pants
hodlr r131.c69cf44-1 1 0.00 A fast, accurate direct solver and determinant computation for dense linear systems orphan
hodoku 2.2.0-1 15 0.00 Sudoku generator/solver/analyzer SanskritFritz
hpipm 0.1.1-1 0 0.00 High-performance interior-point-method QP solvers acxz
hpipm-git r1098.de1a8c7-1 0 0.00 High-performance interior-point-method QP solvers acxz
hqp 1.9.8-1 1 0.00 A solver for sparse nonlinear optimization bchretien
ifopt 2.0.7-1 0 0.00 An Eigen-based, light-weight C++ Interface to Nonlinear Programming Solvers (Ipopt, Snopt) acxz
kudus 0.3.0-2 0 0.00 Sudoku puzzle generator and solver for KDE Dragonlord
lazylpsolverlibs 7d32dc6-1 0 0.00 lazylpsolverlibs provides libraries that can replace at link time those of commercial lp solvers. yhfudev
lazylpsolverlibs-git 7d32dc6-1 0 0.00 lazylpsolverlibs provides libraries that can replace at link time those of commercial lp solvers. yhfudev
libasr-git latest-1 2 0.00 A FREE asynchronous DNS resolver. WhyNotHugo
libasr-snapshot 201602131606-1 1 0.00 A FREE asynchronous DNS resolver. WhyNotHugo

178 packages found. Page 1 of 4.

1 2 3 4 Next › Last »