|
hodoku
|
2.3.2_WIP-1 |
15 |
0.00
|
Sudoku generator/solver/analyzer |
SanskritFritz
|
2024-01-27 15:26 (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) |
|
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) |
|
gurobi81
|
8.1.0-1 |
0 |
0.00
|
State-of-the-art solver for mathematical programming |
user20159
|
2021-01-16 20:09 (UTC) |
|
gurobi
|
11.0.2-1 |
8 |
0.02
|
State-of-the-art solver for mathematical programming |
marcosmrai
|
2024-05-14 19:13 (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) |
|
gqthres
|
1.1.2-0 |
0 |
0.00
|
Resolver for Callsigns and Locators |
bmgtjonas
|
2021-11-06 17:36 (UTC) |
|
go-pdirs-git
|
0.1.2-1 |
1 |
0.02
|
Project directory resolver |
xprnio
|
2023-11-18 13:31 (UTC) |
|
go-pdirs
|
0.1.2-2 |
1 |
0.02
|
Project directory resolver |
xprnio
|
2023-11-18 13:34 (UTC) |
|
glucose
|
4.1-1 |
1 |
0.00
|
Parallel SAT solver based on Minisat, with glue clauses. |
keenerd
|
2018-01-30 23:26 (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) |
|
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) |
|
flaresolverr-git
|
3.0.2.r1.g2d97f88-1 |
3 |
0.00
|
A proxy server to bypass Cloudflare protection |
HLFH
|
2023-01-10 13:43 (UTC) |
|
flaresolverr-bin
|
3.3.19-1 |
2 |
0.00
|
A proxy server to bypass Cloudflare protection |
txtsd
|
2024-05-26 18:55 (UTC) |
|
flaresolverr
|
3.3.19-1 |
6 |
0.00
|
A proxy server to bypass Cloudflare protection |
txtsd
|
2024-05-26 18:54 (UTC) |
|
elpa
|
2023.05.001-1 |
4 |
0.00
|
Eigenvalue SoLvers for Petaflop-Applications |
a.kudelin
|
2023-06-23 10:18 (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) |
|
eiquadprog-docs
|
1.2.6-1 |
0 |
0.00
|
Quadratic Programing solver with eigen |
Nim65s
|
2023-03-31 12:40 (UTC) |
|
eiquadprog
|
1.2.6-1 |
0 |
0.00
|
Quadratic Programing solver with eigen |
Nim65s
|
2023-03-31 12:40 (UTC) |
|
dune-istl
|
2.9.1-1 |
1 |
0.00
|
Iterative Solver Template Library |
carlosal1015
|
2023-12-17 18:24 (UTC) |
|
dnsprobe
|
1.0.3-1 |
1 |
0.57
|
Perform multiple dns queries of your choice with a list of user supplied resolvers |
kleintux
|
2020-11-22 19:39 (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) |
|
dds
|
2.9.0-1 |
2 |
0.00
|
A bridge double dummy solver |
kleintux
|
2022-01-23 09:40 (UTC) |
|
damask-mesh
|
3.0.0beta2-1 |
2 |
0.00
|
Mesh solver for DAMASK |
MartinDiehl
|
2024-05-30 16:32 (UTC) |
|
damask-grid
|
3.0.0beta2-1 |
2 |
0.00
|
Grid solver for DAMASK |
MartinDiehl
|
2024-05-30 16:32 (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) |
|
cursewords-git
|
1.0.3.r0.ed5f7d5-1 |
0 |
0.00
|
Terminal-based crossword puzzle solver |
chungy
|
2019-03-11 04:39 (UTC) |
|
cursewords
|
1.1-1 |
0 |
0.00
|
Terminal-based crossword puzzle solver |
orphan
|
2021-09-11 06:51 (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) |
|
cryptominisat4
|
4.5.3-1 |
2 |
0.00
|
A modern, multi-threaded, feature-rich, simplifying SAT solver |
keenerd
|
2016-11-17 19:26 (UTC) |
|
cplex
|
22.1.1-1 |
4 |
1.00
|
A commercial solver for mathematical optimization problems. |
zayn7lie
|
2024-06-13 10:28 (UTC) |
|
concorde-glpk
|
03.12.19-2 |
1 |
0.00
|
Travelling Salesman Problem Solver (GLPK back-end) |
dariost
|
2023-03-27 22:10 (UTC) |
|
concorde
|
03.12.19-1 |
0 |
0.00
|
Travelling Salesman Problem Solver |
alberto-santini
|
2018-08-12 14:09 (UTC) |
|
colorcode
|
0.8.7-1 |
1 |
0.00
|
Advanced MasterMind game and solver |
zoe
|
2024-05-19 14:49 (UTC) |
|
coin-or-symphony
|
5.7.2-1 |
3 |
0.00
|
COIN-OR solver for mixed-integer linear programs (MILPs) |
carlosal1015
|
2024-03-27 03:45 (UTC) |
|
coin-or-qpoases
|
3.2.1-2 |
2 |
0.00
|
COIN-OR QP solver with online active set strategy |
Nim65s
|
2022-09-13 21:44 (UTC) |
|
coin-or-hsl
|
2023.05.26-1 |
3 |
0.00
|
HSL Mathematical Software Library. Including solvers for sparse linear systems of equations and sparse eigenvalue problems. Compiled with coin-or-tools, supports Ipopt. |
sbalula
|
2023-06-19 16:39 (UTC) |
|
cmdpack-wordadd
|
1.06-2 |
13 |
0.00
|
Addition word puzzle solver |
chungy
|
2018-05-29 22:51 (UTC) |
|
cloud-buster
|
1.5-1 |
1 |
0.00
|
A cloudflare-resolver |
orphan
|
2021-04-25 02:38 (UTC) |
|
cert-chain-resolver
|
1.0.3-1 |
0 |
0.00
|
An ssl certificate chain resolver |
IngoMeyer
|
2021-10-07 10:36 (UTC) |
|
ceres-solver-legacy
|
1.14.0-6 |
0 |
0.00
|
Solver for nonlinear least squares problems. Legacy version needed for google cartographer |
orphan
|
2023-09-17 07:17 (UTC) |
|
ceres-solver-git
|
r1467.db1f5b57-1 |
0 |
0.00
|
Solver for nonlinear least squares problems |
dtag
|
2019-06-19 12:21 (UTC) |
|
calculix-ccx
|
2.21-2 |
25 |
1.46
|
CalculiX: 3D Structural Finite Element Program - Solver |
mauritiusdadd
|
2024-06-04 06:51 (UTC) |
|
cadical
|
1.9.5-1 |
2 |
0.00
|
A simple CDCL satisfiability solver |
meadow
|
2024-03-26 23:08 (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) |
|
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
|
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) |
|
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 |
hnns
|
2020-04-26 07:41 (UTC) |
|
bitwuzla-git
|
0.4.0.r51.g31330f2-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-05-14 17:30 (UTC) |
|
bitwuzla-doc
|
0.5.0-1 |
0 |
0.00
|
Documentation for the Bitwuzla SMT solver |
meadow
|
2024-05-30 00:55 (UTC) |