|
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) |
|
batch_resolve
|
0.3.7-2 |
0 |
0.00
|
Fast asynchronous DNS resolver |
mersinvald
|
2019-11-27 14:37 (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) |
|
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-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) |
|
concorde
|
03.12.19-1 |
0 |
0.00
|
Travelling Salesman Problem Solver |
alberto-santini
|
2018-08-12 14:09 (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) |
|
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) |
|
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) |
|
gqthres
|
1.1.2-0 |
0 |
0.00
|
Resolver for Callsigns and Locators |
bmgtjonas
|
2021-11-06 17:36 (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) |
|
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) |
|
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) |
|
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) |
|
kanidm-unixd-clients-git
|
1.3.0.dev.r3.g1fb816582-1 |
0 |
0.00
|
kanidm localhost resolver to resolve posix identities to a kanidm instance. |
soloturn
|
2024-05-01 08:38 (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) |
|
libmicrodns-git
|
0.2.0.r6.g1d4556e-1 |
0 |
0.00
|
Minimal mDNS resolver library |
orphan
|
2023-01-26 04:13 (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) |
|
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) |
|
lis
|
2.0.30-1 |
0 |
0.00
|
Library of Iterative Solvers for linear systems |
heavysink
|
2021-01-30 13:51 (UTC) |
|
massdns
|
1.1.0-2 |
0 |
0.00
|
A high-performance DNS stub resolver for bulk lookups and reconnaissance |
imlonghao
|
2024-03-10 12:42 (UTC) |
|
mingw-w64-ceres-solver
|
2.2.0-4 |
0 |
0.00
|
Solver for nonlinear least squares problems (mingw-w64) |
xantares
|
2024-03-31 11:02 (UTC) |
|
mingw-w64-coin-or-asl
|
2.0.1-1 |
0 |
0.00
|
COIN-OR autotools harness to build AMPL Solver Library (mingw-w64) |
xantares
|
2023-11-11 10:47 (UTC) |
|
mingw-w64-coin-or-cbc
|
2.10.11-1 |
0 |
0.00
|
COIN-OR branch-and-cut mixed integer programming solver (mingw-w64) |
xantares
|
2023-10-25 22:21 (UTC) |
|
mingw-w64-coin-or-clp
|
1.17.9-1 |
0 |
0.00
|
COIN-OR linear programming solver (mingw-w64) |
xantares
|
2023-10-25 22:18 (UTC) |
|
mingw-w64-coin-or-osi
|
0.108.10-1 |
0 |
0.00
|
COIN-OR Open Solver Interface (mingw-w64) |
xantares
|
2024-04-13 21:31 (UTC) |
|
mingw-w64-libgeoip
|
1.6.12-1 |
0 |
0.00
|
Non-DNS IP-to-country resolver C library (mingw-w64) |
orphan
|
2021-04-16 04:34 (UTC) |
|
mingw-w64-lpsolve
|
5.5.2.11-1 |
0 |
0.00
|
a Mixed Integer Linear Programming (MILP) solver (mingw-w64) |
xantares
|
2023-05-02 16:47 (UTC) |
|
mingw-w64-miniglog
|
0.0.1-1 |
0 |
0.00
|
A logging library based on the miniglog library found in ceres-solver (mingw-w64) |
osfans
|
2017-05-16 02:09 (UTC) |
|
mingw-w64-mumps
|
5.7.1-1 |
0 |
0.00
|
Sparse solver library using Gaussian elimination (mingw-w64) |
xantares
|
2024-05-06 17:42 (UTC) |
|
mingw-w64-sundials
|
5.3.0-1 |
0 |
0.00
|
Suite of nonlinear differential/algebraic equation solvers (mingw-w64) |
orphan
|
2020-07-17 20:20 (UTC) |
|
mono-msbuild-sdkresolver-git
|
16.10.1.r5005.gde7a9c7b8-1 |
0 |
0.00
|
Xamarin implementation of the Microsoft build system (SDK resolver) (Git version) |
LinuxUserGD
|
2023-12-20 21:36 (UTC) |
|
nonogram-cli
|
2.2.1-0 |
0 |
0.00
|
A fast command-line based nonogram solver. |
ricoriedel
|
2023-01-08 13:42 (UTC) |
|
oink-git
|
r160.3327c54-1 |
0 |
0.00
|
Oink is an implementation of modern parity game solvers written in C++. |
lonne
|
2021-09-17 12:14 (UTC) |