|
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 |
joojoo
|
2020-04-26 07:41 (UTC) |
|
bertini
|
1.6-2 |
2 |
0.00
|
Homotopy continuation solver for systems of polynomial equations |
akobel
|
2022-04-14 21:21 (UTC) |
|
zeronsd
|
0.5.2-1 |
1 |
0.00
|
Unicast DNS resolver for ZeroTier networks |
devvick
|
2022-05-21 15:59 (UTC) |
|
vlsmsolver
|
1.2.1-1 |
1 |
0.00
|
program that aims to help doing vlsm subnetting. |
y1n0
|
2018-12-06 11:11 (UTC) |
|
sudoku-tk
|
1.2.1-1 |
1 |
0.00
|
Sudoku games and puzzle solver written in Python |
j_4321
|
2018-10-16 08:34 (UTC) |
|
squolem
|
2.02-1 |
1 |
0.00
|
Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates |
xrchz
|
2015-06-15 06:41 (UTC) |
|
sdns-git
|
r659.3089a62-1 |
1 |
0.00
|
Privacy important, fast, recursive dns resolver server with dnssec support |
orphan
|
2020-10-23 03:36 (UTC) |
|
routedns-git
|
0.1.51.r16.g3aa67c5-1 |
1 |
0.00
|
DNS stub resolver, proxy and router (git version) |
Fijxu
|
2024-01-13 03:07 (UTC) |
|
r-desolve
|
1.40-2 |
1 |
0.00
|
Solvers for Initial Value Problems of Differential Equations ('ODE', 'DAE', 'DDE') |
BioArchLinuxBot
|
2024-04-24 19:30 (UTC) |
|
qbsolv
|
0.3.4-1 |
1 |
0.00
|
A decomposing solver that finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem |
yasuo-ozu
|
2022-01-30 04:05 (UTC) |
|
python2-kiwisolver
|
1.1.0-5 |
1 |
0.00
|
A fast implementation of the Cassowary constraint solver |
hexd
|
2022-06-14 04:41 (UTC) |
|
python-swiglpk
|
5.0.8-1 |
1 |
0.00
|
A Python interface to the GLPK optimization solver. |
Viech
|
2023-01-28 10:55 (UTC) |
|
python-slycot
|
0.5.0.0-1 |
1 |
0.00
|
Python wrapper for selected SLICOT routines, notably including solvers for Riccati, Lyapunov and Sylvester equations. |
bnavigator
|
2022-07-09 15:59 (UTC) |
|
python-scikit-umfpack
|
0.4.1-1 |
1 |
0.00
|
Python interface to UMFPACK sparse direct solver |
carlosal1015
|
2023-11-27 15:55 (UTC) |
|
python-pydde-git
|
0.2.2.r13.g602c0aa-1 |
1 |
0.00
|
A solver for delay differential equations written in Python and C. |
renato
|
2018-08-07 14:26 (UTC) |
|
python-picos-git
|
2.3.r0.g11b4ff3-1 |
1 |
0.00
|
A Python interface to conic optimization solvers. Git version. |
Viech
|
2021-10-07 09:22 (UTC) |
|
python-lapsolver
|
1.1.0-3 |
1 |
0.00
|
Fast linear assignment problem solvers |
coldsoup49
|
2024-03-28 10:02 (UTC) |
|
python-grilops
|
0.10.3-1 |
1 |
0.00
|
GRId LOgic Puzzle Solver |
vEnhance
|
2024-04-30 22:26 (UTC) |
|
pointwise
|
18.6R6-1 |
1 |
0.00
|
Pointwise is the choice for CFD (computational fluid dynamics) mesh generation, covering all of preprocessing from geometry model import to flow solver export. |
SandFloh
|
2023-08-08 12:57 (UTC) |
|
pastix
|
6.3.2-4 |
1 |
0.00
|
High performance parallel solver for very large sparse linear systems based on direct methods |
lahwaacz
|
2024-04-27 21:59 (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) |
|
mumps-par
|
5.6.2-1 |
1 |
0.00
|
Sparse solver library using Gaussian elimination, with parmetis implementation |
petronny
|
2023-10-12 08:07 (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) |
|
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) |
|
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) |
|
lingeling
|
180517-1 |
1 |
0.00
|
A BSP SAT solver derived from Picosat. |
keenerd
|
2019-04-29 03:39 (UTC) |
|
kissat
|
3.1.1-2 |
1 |
0.49
|
A keep it simple and clean bare metal SAT solver written in C |
meadow
|
2024-03-23 14:25 (UTC) |
|
hqp
|
1.9.8-1 |
1 |
0.00
|
A solver for sparse nonlinear optimization |
bchretien
|
2016-05-17 14:02 (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) |
|
go-pdirs-git
|
0.1.2-1 |
1 |
0.03
|
Project directory resolver |
xprnio
|
2023-11-18 13:31 (UTC) |
|
go-pdirs
|
0.1.2-2 |
1 |
0.03
|
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) |
|
dune-istl
|
2.9.1-1 |
1 |
0.00
|
Iterative Solver Template Library |
carlosal1015
|
2023-12-17 18:24 (UTC) |
|
concorde-glpk
|
03.12.19-2 |
1 |
0.00
|
Travelling Salesman Problem Solver (GLPK back-end) |
dariost
|
2023-03-27 22:10 (UTC) |
|
colorcode
|
0.8.5-2 |
1 |
0.00
|
Advanced MasterMind game and solver |
zoe
|
2016-05-01 20:47 (UTC) |
|
cloud-buster
|
1.5-1 |
1 |
0.00
|
A cloudflare-resolver |
orphan
|
2021-04-25 02:38 (UTC) |
|
bertini_real-git
|
r1075.3dbac52-1 |
1 |
0.00
|
Numerical decomposition of real algebraic sets, based on the Bertini homotopy continuation solver |
akobel
|
2019-03-21 09:43 (UTC) |
|
astap-cli
|
2023.06.24-1 |
1 |
0.00
|
Astrometric (plate) solver, stacking of images, photometry and FITS viewer. CLI-version |
Mr.Smith1974
|
2023-09-16 10:55 (UTC) |
|
astap-bin-qt5
|
2024.03.27-1 |
1 |
0.00
|
Astrometric (plate) solver, stacking of images, photometry and FITS viewer |
wrenby
|
2024-03-28 13:12 (UTC) |
|
astap-bin
|
2023.09.11-1 |
1 |
0.00
|
Astrometric (plate) solver, stacking of images, photometry and FITS viewer. Gtk2 version. |
Mr.Smith1974
|
2023-09-16 10:58 (UTC) |
|
astap
|
2023.09.11-1 |
1 |
0.00
|
Astrometric (plate) solver, stacking of images, photometry and FITS viewer (build from source). Qt5 version. |
Mr.Smith1974
|
2023-09-16 10:53 (UTC) |
|
aspcud
|
1.9.6-1 |
1 |
0.00
|
Solver for package dependencies |
xuanruiqi
|
2022-08-15 16:44 (UTC) |
|
android-constraint-layout
|
1.0.2-2 |
1 |
0.00
|
ConstraintLayout for Android (includes solver) |
sjakub
|
2018-04-03 22:01 (UTC) |
|
ampl-asl
|
20240106-1 |
1 |
0.00
|
AMPL Solver Library |
carlosal1015
|
2024-04-04 01:43 (UTC) |
|
adasat
|
24.0w-1 |
1 |
0.87
|
Implementation of a DPLL-based SAT solver in Ada. |
charlie5
|
2023-07-09 12:14 (UTC) |