|
lua-cassowary-git
|
2.3.1.r4.gfa4d058-1 |
1 |
0.00
|
The cassowary constraint solver |
alerque
|
2024-03-26 10:32 (UTC) |
|
lua53-cassowary-git
|
2.3.1.r4.gfa4d058-1 |
1 |
0.00
|
The cassowary constraint solver |
alerque
|
2024-03-26 10:32 (UTC) |
|
lua52-cassowary-git
|
2.3.1.r4.gfa4d058-1 |
1 |
0.00
|
The cassowary constraint solver |
alerque
|
2024-03-26 10:32 (UTC) |
|
lua51-cassowary-git
|
2.3.1.r4.gfa4d058-1 |
1 |
0.00
|
The cassowary constraint solver |
alerque
|
2024-03-26 10:32 (UTC) |
|
lis
|
2.0.30-1 |
0 |
0.00
|
Library of Iterative Solvers for linear systems |
heavysink
|
2021-01-30 13:51 (UTC) |
|
lingo
|
20.0-1 |
0 |
0.00
|
Comprehensive modeling language and solvers for linear, non-linear, and integer programming. |
sukanka
|
2023-04-15 03:50 (UTC) |
|
lingeling
|
180517-1 |
1 |
0.00
|
A BSP SAT solver derived from Picosat. |
keenerd
|
2019-04-29 03:39 (UTC) |
|
libnss-resolver-git
|
0.3.0-1 |
0 |
0.00
|
A Linux extension that adds support to the /etc/resolver/[suffix]. |
felipe.azukiapp
|
2016-01-08 15:24 (UTC) |
|
libnss-resolver
|
0.3.0-1 |
3 |
0.00
|
A Linux extension that adds support to the /etc/resolver/[suffix]. |
felipe.azukiapp
|
2016-01-10 14:25 (UTC) |
|
libmicrodns-git
|
0.2.0.r6.g1d4556e-1 |
0 |
0.00
|
Minimal mDNS resolver library |
orphan
|
2023-01-26 04:13 (UTC) |
|
lazylpsolverlibs-git
|
7d32dc6-1 |
0 |
0.00
|
lazylpsolverlibs provides libraries that can replace at link time those of commercial lp solvers. |
yhfudev
|
2015-06-09 16:36 (UTC) |
|
kanidm-unixd-clients-git
|
1.1.0.rc.16.r31.gd3af1a9e1-1 |
0 |
0.00
|
kanidm localhost resolver to resolve posix identities to a kanidm instance. |
soloturn
|
2024-02-24 23:29 (UTC) |
|
jdresolve-git
|
r11.365e7f0-1 |
0 |
0.00
|
A fast and recursive DNS name resolver for log files |
brieck
|
2022-03-11 10:17 (UTC) |
|
ifopt
|
2.1.3-1 |
0 |
0.00
|
An Eigen-based, light-weight C++ Interface to Nonlinear Programming Solvers (Ipopt, Snopt) |
acxz
|
2022-07-01 12:18 (UTC) |
|
hqp
|
1.9.8-1 |
1 |
0.00
|
A solver for sparse nonlinear optimization |
bchretien
|
2016-05-17 14:02 (UTC) |
|
hpipm-git
|
r1325.b140f36-1 |
0 |
0.00
|
High-performance interior-point-method QP solvers |
acxz
|
2022-07-13 17:10 (UTC) |
|
hpipm
|
0.1.3-1 |
0 |
0.00
|
High-performance interior-point-method QP solvers |
acxz
|
2021-10-28 13:23 (UTC) |
|
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) |
|
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) |
|
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) |
|
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
|
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) |
|
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 |
0 |
0.00
|
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) |
|
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
|
20.10-2 |
3 |
0.00
|
A commercial solver for mathematical optimization problems. |
orphan
|
2022-01-06 15:33 (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.5-2 |
1 |
0.00
|
Advanced MasterMind game and solver |
zoe
|
2016-05-01 20:47 (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 |
kino_t
|
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) |
|
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) |
|
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) |