adasat
|
24.0w-1 |
0 |
0.00
|
Implementation of a DPLL-based SAT solver in Ada. |
charlie5
|
2023-07-09 12:14 (UTC) |
adns-git
|
1:adns.r1.6.0.0.gccaa001-1 |
0 |
0.00
|
An asyncronous replacement resolver library |
nandub
|
2023-10-02 19:57 (UTC) |
aero2solver
|
1.0.0-2 |
0 |
0.00
|
Solve Aero2 captchas automatically using the magic of machine learning and computer vision |
nezu
|
2023-11-14 23:10 (UTC) |
ampl-asl
|
20240106-1 |
1 |
0.00
|
AMPL Solver Library |
carlosal1015
|
2024-04-04 01:43 (UTC) |
android-constraint-layout
|
1.0.2-2 |
2 |
0.00
|
ConstraintLayout for Android (includes solver) |
sjakub
|
2018-04-03 22:01 (UTC) |
aspcud
|
1.9.6-1 |
1 |
0.00
|
Solver for package dependencies |
xuanruiqi
|
2022-08-15 16:44 (UTC) |
batch_resolve
|
0.3.7-2 |
0 |
0.00
|
Fast asynchronous DNS resolver |
mersinvald
|
2019-11-27 14:37 (UTC) |
bertini
|
1.6-2 |
2 |
0.00
|
Homotopy continuation solver for systems of polynomial equations |
akobel
|
2022-04-14 21:21 (UTC) |
bertini_real-git
|
r1075.3dbac52-1 |
1 |
0.00
|
Numerical decomposition of real algebraic sets, based on the Bertini homotopy continuation solver |
akobel
|
2019-03-21 09:43 (UTC) |
bitwuzla
|
0.4.0-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-03-30 17:19 (UTC) |
bitwuzla-doc
|
0.4.0-1 |
0 |
0.00
|
Documentation for the Bitwuzla SMT solver |
meadow
|
2024-03-30 17:19 (UTC) |
bitwuzla-git
|
0.4.0.r33.g72cad5f-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-03-30 17:40 (UTC) |
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
|
2020-04-26 07:41 (UTC) |
boolector
|
3.2.2-2 |
2 |
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
|
2021-11-15 13:52 (UTC) |
boolector-git
|
3.2.2.r18.g1a89c229-1 |
0 |
0.00
|
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions |
xiretza
|
2022-05-03 13:12 (UTC) |
boolector-java
|
3.2.6-1 |
0 |
0.00
|
Java bindings for the Boolector SMT solver |
abdullin.am
|
2022-04-29 08:44 (UTC) |
cadical
|
1.9.5-1 |
2 |
0.00
|
A simple CDCL satisfiability solver |
meadow
|
2024-03-26 23:08 (UTC) |
cadical-pic
|
1.7.4-1 |
0 |
0.00
|
A simple CDCL satisfiability solver with feature PIC enabled |
Neferin
|
2023-12-21 14:22 (UTC) |
ceres-solver-git
|
r1467.db1f5b57-1 |
0 |
0.00
|
Solver for nonlinear least squares problems |
dtag
|
2019-06-19 12:21 (UTC) |
ceres-solver-legacy
|
1.14.0-6 |
0 |
0.00
|
Solver for nonlinear least squares problems. Legacy version needed for google cartographer |
kino_t
|
2023-09-17 07:17 (UTC) |
cert-chain-resolver
|
1.0.3-1 |
0 |
0.00
|
An ssl certificate chain resolver |
IngoMeyer
|
2021-10-07 10:36 (UTC) |
cloud-buster
|
1.5-1 |
1 |
0.00
|
A cloudflare-resolver |
orphan
|
2021-04-25 02:38 (UTC) |
cmdpack-wordadd
|
1.06-2 |
13 |
0.00
|
Addition word puzzle solver |
chungy
|
2018-05-29 22:51 (UTC) |
colorcode
|
0.8.5-2 |
1 |
0.00
|
Advanced MasterMind game and solver |
zoe
|
2016-05-01 20:47 (UTC) |
concorde
|
03.12.19-1 |
0 |
0.00
|
Travelling Salesman Problem Solver |
alberto-santini
|
2018-08-12 14:09 (UTC) |
concorde-glpk
|
03.12.19-2 |
1 |
0.00
|
Travelling Salesman Problem Solver (GLPK back-end) |
dariost
|
2023-03-27 22:10 (UTC) |
cplex
|
20.10-2 |
3 |
0.00
|
A commercial solver for mathematical optimization problems. |
orphan
|
2022-01-06 15:33 (UTC) |
cryptominisat4
|
4.5.3-1 |
2 |
0.00
|
A modern, multi-threaded, feature-rich, simplifying SAT solver |
keenerd
|
2016-11-17 19:26 (UTC) |
cryptominisat5-git
|
5.6.8.r171.gc1b9ed65-1 |
0 |
0.00
|
A modern multi-threaded SAT solver. With experimental features enabled. |
keenerd
|
2019-04-29 21:43 (UTC) |
cursewords
|
1.1-1 |
0 |
0.00
|
Terminal-based crossword puzzle solver |
orphan
|
2021-09-11 06:51 (UTC) |
cursewords-git
|
1.0.3.r0.ed5f7d5-1 |
0 |
0.00
|
Terminal-based crossword puzzle solver |
chungy
|
2019-03-11 04:39 (UTC) |
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
|
2020-05-05 00:09 (UTC) |
dds
|
2.9.0-1 |
2 |
0.00
|
A bridge double dummy solver |
kleintux
|
2022-01-23 09:40 (UTC) |
dev-tld-resolver-git
|
r12.g4924eff-1 |
0 |
0.00
|
Simple top level domain (NSSwitch hosts) resolver for linux based development environment. |
twnaing
|
2021-09-11 13:23 (UTC) |
dnsprobe
|
1.0.3-1 |
0 |
0.00
|
Perform multiple dns queries of your choice with a list of user supplied resolvers |
kleintux
|
2020-11-22 19:39 (UTC) |
dune-istl
|
2.9.1-1 |
1 |
0.00
|
Iterative Solver Template Library |
carlosal1015
|
2023-12-17 18:24 (UTC) |
eiquadprog
|
1.2.6-1 |
0 |
0.00
|
Quadratic Programing solver with eigen |
Nim65s
|
2023-03-31 12:40 (UTC) |
eiquadprog-docs
|
1.2.6-1 |
0 |
0.00
|
Quadratic Programing solver with eigen |
Nim65s
|
2023-03-31 12:40 (UTC) |
elastic-git
|
20210506.r145-5 |
0 |
0.00
|
Simple yet efficient finite element solver for linear elasticity problems in two and three dimensions. |
orphan
|
2022-02-23 16:34 (UTC) |
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. |
orphan
|
2019-10-03 14:49 (UTC) |
geoip-git
|
1:1.6.12.r8.g44e5ffc-1 |
1 |
0.00
|
Non-DNS IP-to-country resolver C library & utils |
bidulock
|
2019-11-16 02:03 (UTC) |
glucose
|
4.1-1 |
1 |
0.00
|
Parallel SAT solver based on Minisat, with glue clauses. |
keenerd
|
2018-01-30 23:26 (UTC) |
gqthres
|
1.1.2-0 |
0 |
0.00
|
Resolver for Callsigns and Locators |
bmgtjonas
|
2021-11-06 17:36 (UTC) |
gsvit
|
1.9.3-1 |
1 |
0.00
|
Open Source FDTD solver with graphics card computing support. |
mabl
|
2019-09-07 15:55 (UTC) |
gurobi81
|
8.1.0-1 |
0 |
0.00
|
State-of-the-art solver for mathematical programming |
user20159
|
2021-01-16 20:09 (UTC) |
haskell-diagrams-solve
|
0.1.1-1 |
0 |
0.00
|
Pure Haskell solver routines used by the diagrams project. |
orphan
|
2019-02-06 21:21 (UTC) |
hnsd-git
|
1.0.0.5.g1b47849-1 |
2 |
0.00
|
SPV resolver daemon for the Handshake network. Written in C for speed/size/embedability. |
thann
|
2021-01-06 20:06 (UTC) |
hodoku
|
2.3.2_WIP-1 |
15 |
0.00
|
Sudoku generator/solver/analyzer |
SanskritFritz
|
2024-01-27 15:26 (UTC) |
hpipm
|
0.1.3-1 |
0 |
0.00
|
High-performance interior-point-method QP solvers |
acxz
|
2021-10-28 13:23 (UTC) |
hpipm-git
|
r1325.b140f36-1 |
0 |
0.00
|
High-performance interior-point-method QP solvers |
acxz
|
2022-07-13 17:10 (UTC) |