|
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) |
|
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) |
|
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) |
|
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) |
|
nss-tls-git
|
r80.e31dd2a-1 |
3 |
0.00
|
A DNS over HTTPS resolver for glibc |
orphan
|
2019-06-10 10:47 (UTC) |
|
nonogram-cli
|
2.2.1-0 |
0 |
0.00
|
A fast command-line based nonogram solver. |
ricoriedel
|
2023-01-08 13:42 (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) |
|
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) |
|
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) |
|
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-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
|
5.7.1-1 |
14 |
0.00
|
Sparse solver library using Gaussian elimination |
MartinDiehl
|
2024-05-07 09:14 (UTC) |
|
mosek
|
1:10.1.29-1 |
5 |
0.00
|
A commercial solver for mathematical optimization problems. |
ido
|
2024-05-05 11:34 (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) |
|
minisat-git
|
2.2.1.r3.gf7d16b9-1 |
2 |
0.00
|
A minimalistic and high-performance SAT solver (git version) |
dkasak
|
2020-09-12 21:59 (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) |
|
mingw-w64-mumps
|
5.7.2-1 |
0 |
0.00
|
Sparse solver library using Gaussian elimination (mingw-w64) |
xantares
|
2024-06-19 17:59 (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-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-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-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-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-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-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-ceres-solver
|
2.2.0-4 |
0 |
0.00
|
Solver for nonlinear least squares problems (mingw-w64) |
xantares
|
2024-03-31 11:02 (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) |
|
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) |
|
mccs
|
1.1-1 |
1 |
0.00
|
Multi Criteria CUDF Solver |
314eter
|
2018-01-03 14:55 (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) |
|
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) |
|
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) |
|
lua-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) |
|
kissat
|
3.1.1-4 |
1 |
0.21
|
A keep it simple and clean bare metal SAT solver written in C |
meadow
|
2024-06-19 17:39 (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) |
|
kanidm-unixd-clients
|
1.2.0-1 |
3 |
0.10
|
kanidm localhost resolver to resolve posix identities to a kanidm instance. |
soloturn
|
2024-05-01 09:22 (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) |
|
hypre
|
2.31.0-1 |
5 |
0.09
|
Parallel solvers for sparse linear systems featuring multigrid methods |
carlosal1015
|
2024-02-15 07:59 (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) |