|
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
|
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) |
|
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) |
|
lingeling
|
180517-1 |
1 |
0.00
|
A BSP SAT solver derived from Picosat. |
keenerd
|
2019-04-29 03:39 (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) |
|
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) |
|
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) |
|
mathsat-5
|
5.6.9-1 |
1 |
0.00
|
MathSAT 5 is an efficient SMT solver supporting a wide range of theories and functionalities |
Ice_Phoenix
|
2023-01-30 14:14 (UTC) |
|
mccs
|
1.1-1 |
1 |
0.00
|
Multi Criteria CUDF Solver |
314eter
|
2018-01-03 14:55 (UTC) |
|
med
|
5.0.0-1 |
0 |
0.00
|
MED: interoperable format for data interchange between mesh based solvers |
xantares
|
2024-06-14 15:31 (UTC) |
|
mesmer
|
6.1-1 |
1 |
0.00
|
An open-source master equation solver for multi-energy well reactions |
a.kudelin
|
2021-11-09 22:28 (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) |
|
mosek
|
1:10.1.29-1 |
5 |
0.00
|
A commercial solver for mathematical optimization problems. |
ido
|
2024-05-05 11:34 (UTC) |
|
mumps
|
5.7.1-1 |
14 |
0.00
|
Sparse solver library using Gaussian elimination |
MartinDiehl
|
2024-05-07 09:14 (UTC) |
|
mumps-par
|
5.7.2-1 |
1 |
0.00
|
Sparse solver library using Gaussian elimination, with parmetis implementation |
petronny
|
2024-06-18 08:04 (UTC) |
|
mumps-seq
|
5.7.1-1 |
2 |
0.00
|
Sparse solver library using Gaussian elimination (sequential version) |
carlosal1015
|
2024-05-05 17:56 (UTC) |
|
mumps-seq-shared
|
5.3.5-1 |
2 |
0.00
|
Sparse solver library using Gaussian elimination (sequential version, shared library version) |
lobachevsky
|
2020-11-09 12:44 (UTC) |
|
nheqminer-cpu-git
|
0.5c.r1.gb9900ff-2 |
13 |
0.00
|
zcash equihash miner by NiceHash. Xenoncat CPU solver build. |
sebstar
|
2017-01-18 12:16 (UTC) |
|
nheqminer-cuda-git
|
0.5c.r1.gb9900ff-1 |
11 |
0.00
|
zcash equihash miner by NiceHash. Djezo GPU/CUDA solver build. |
sebstar
|
2018-02-05 16: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) |
|
nss-tls-git
|
r80.e31dd2a-1 |
3 |
0.00
|
A DNS over HTTPS resolver for glibc |
orphan
|
2019-06-10 10:47 (UTC) |
|
octave-msh
|
1.0.12-1 |
3 |
0.00
|
Create and manage triangular and tetrahedral meshes for Finite Element or Finite Volume PDE solvers. Use a mesh data structure compatible with PDEtool. Rely on gmsh for unstructured mesh generation. |
carlosal1015
|
2022-11-07 23:49 (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) |
|
openems
|
0.0.36-1 |
1 |
0.00
|
free and open electromagnetic field solver using the FDTD method |
carlosal1015
|
2024-01-26 16:47 (UTC) |
|
openems-git
|
0.0.36.r15.g1ccf094-2 |
3 |
0.00
|
A free and open source EC-FDTD solver |
thasti
|
2024-06-13 05:53 (UTC) |
|
python-openems-git
|
0.0.36.r15.g1ccf094-2 |
3 |
0.00
|
A free and open source EC-FDTD solver - python module |
thasti
|
2024-06-13 05:53 (UTC) |
|
opentaxsolver-2017-svn
|
2017.r0-1 |
0 |
0.00
|
An easy-to-use text-based calculator for US Tax Forms |
EndlessEden
|
2022-02-06 22:25 (UTC) |
|
opentaxsolver-2018-svn
|
2018.r0-1 |
0 |
0.00
|
An easy-to-use text-based calculator for US Tax Forms |
EndlessEden
|
2022-02-06 22:25 (UTC) |
|
opentaxsolver-2019-svn
|
2019.r0-1 |
0 |
0.00
|
An easy-to-use text-based calculator for US Tax Forms |
EndlessEden
|
2022-02-06 22:26 (UTC) |
|
opentaxsolver-2020-svn
|
2020.r0-1 |
0 |
0.00
|
An easy-to-use text-based calculator for US Tax Forms |
EndlessEden
|
2022-02-06 22:27 (UTC) |
|
opentaxsolver-2021-svn
|
2021.r0-1 |
0 |
0.00
|
An easy-to-use text-based calculator for US Tax Forms |
orphan
|
2022-02-06 22:28 (UTC) |
|
osqp
|
0.6.3-2 |
0 |
0.00
|
The Operator Splitting QP Solver |
Nim65s
|
2024-05-22 21:45 (UTC) |
|
osqp-git
|
v1.0.0.beta1.r9.g1704870-1 |
0 |
0.00
|
The Operator Splitting QP Solver |
If_Return
|
2024-03-05 07:18 (UTC) |