|
cursewords-git
|
1.0.3.r0.ed5f7d5-1 |
0 |
0.00
|
Terminal-based crossword puzzle solver |
chungy
|
2019-03-11 04:39 (UTC) |
|
cursewords
|
1.1-1 |
0 |
0.00
|
Terminal-based crossword puzzle solver |
orphan
|
2021-09-11 06:51 (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) |
|
concorde
|
03.12.19-1 |
0 |
0.00
|
Travelling Salesman Problem Solver |
alberto-santini
|
2018-08-12 14:09 (UTC) |
|
cert-chain-resolver
|
1.0.3-1 |
0 |
0.00
|
An ssl certificate chain resolver |
IngoMeyer
|
2021-10-07 10:36 (UTC) |
|
ceres-solver-legacy
|
1.14.0-6 |
0 |
0.00
|
Solver for nonlinear least squares problems. Legacy version needed for google cartographer |
orphan
|
2023-09-17 07:17 (UTC) |
|
ceres-solver-git
|
r1467.db1f5b57-1 |
0 |
0.00
|
Solver for nonlinear least squares problems |
dtag
|
2019-06-19 12:21 (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) |
|
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) |
|
bitwuzla-git
|
0.4.0.r51.g31330f2-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-05-14 17:30 (UTC) |
|
bitwuzla
|
0.5.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-05-30 00:55 (UTC) |
|
bitwuzla-doc
|
0.5.0-1 |
0 |
0.00
|
Documentation for the Bitwuzla SMT solver |
meadow
|
2024-05-30 00:55 (UTC) |
|
batch_resolve
|
0.3.7-2 |
0 |
0.00
|
Fast asynchronous DNS resolver |
mersinvald
|
2019-11-27 14:37 (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) |