bitwuzla
|
0.5.0-2 |
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-06-19 20:27 (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) |
bertini
|
1.6-2 |
2 |
0.00
|
Homotopy continuation solver for systems of polynomial equations |
akobel
|
2022-04-14 21:21 (UTC) |
bcalc
|
16.05.0-1 |
5 |
0.00
|
Double-dummy solver for bridge (the card game). |
anntzer
|
2016-06-27 05:06 (UTC) |
batch_resolve
|
0.3.7-2 |
0 |
0.00
|
Fast asynchronous DNS resolver |
mersinvald
|
2019-11-27 14:37 (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) |
aero2solver
|
1.1.0-2 |
0 |
0.00
|
Solve Aero2 captchas automatically using the magic of machine learning and computer vision |
nezu
|
2024-05-16 14:26 (UTC) |
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) |
adasat
|
25.0w-1 |
1 |
0.37
|
Implementation of a DPLL-based SAT solver in Ada. |
charlie5
|
2024-05-31 06:15 (UTC) |