|
|
Python |
3 |
A solver based on local search |
Apr 21, 2023 |
|
|
Java |
51 |
Local-search based solver of Constraint Satisfaction and Optimization Problems |
Feb 11, 2023 |
|
|
Java |
2 |
Search-based OCL constraint solver |
May 15, 2019 |
|
|
C++ |
5 |
BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver |
May 08, 2023 |
|
|
C++ |
6 |
A solver based on heuristic tree search |
Apr 02, 2023 |
|
|
C++ |
3 |
Parallel SAT solver based on search space splitting |
Apr 14, 2023 |
|
|
PHP |
3 |
Constraint-Based Local Search for Vehicle Routing |
Apr 04, 2022 |
|
|
Rust |
117 |
Local Search Engine |
Mar 22, 2023 |
|
|
Julia |
2 |
Online POMDP tree search solver based on Prioritized Action POMCPOW (PA-POMCPOW) |
Jul 14, 2022 |
|
|
Java |
6 |
A SAT-solver based Sudoku puzzle solver. |
Mar 05, 2022 |
|
|
MATLAB |
3 |
Two-Dimensional Krawtchouk Descriptors for Content Based Local Image Search |
Apr 03, 2022 |
|
|
Python |
18 |
Local search for NAS |
Aug 06, 2022 |
|
|
None |
3 |
Your local search experts. |
Mar 23, 2020 |
|
|
PHP |
10 |
Local NCBI BLAST+ Search |
Dec 02, 2022 |
|
|
Python |
18 |
Puzzle15 AI solver with A* search algorithm |
May 07, 2023 |
|
|
Julia |
17 |
A Julia package to manage Constraint-Based Local Search (CBLS) solvers. |
Feb 05, 2022 |
|
|
C++ |
4 |
SAT-based sudoku solver |
May 05, 2021 |
|
|
Python |
3 |
GA-based Sudoku Solver |
Aug 31, 2022 |
|
|
F# |
3 |
CPU-based combination solver |
Apr 06, 2017 |
|
|
D |
14 |
OCR based equation solver |
Feb 16, 2023 |
|
|
C |
5 |
BDD based DQBF solver |
Jan 08, 2023 |
|
|
Python |
6 |
Fulltext, local Quip document search |
Apr 06, 2022 |
|
|
TypeScript |
8 |
Search local photos by pose |
Mar 13, 2023 |
|
|
Swift |
2 |
local-search-engine-for-publish |
Mar 01, 2021 |
|
|
Python |
6 |
Code Search on local directories |
Dec 21, 2021 |
|
|
Python |
2 |
Simple Local Image Search Engine |
Jan 08, 2014 |
|
|
Python |
3 |
8 puzzle solver with A* search algorithm (IDA*) |
Dec 14, 2021 |
|
|
JavaScript |
22 |
Search Google without being redirected to local search results |
Jun 14, 2022 |
|
|
Perl |
2 |
Minesweeper Solver. Perl + VNC based. |
Apr 24, 2015 |
|
|
C++ |
42 |
AMReX-based structured wind solver |
Jun 17, 2022 |
|
|
Python |
70 |
MIQP solver based on OSQP |
Jun 30, 2022 |
|
|
Svelte |
2 |
Matrix based linear equation solver |
Jul 02, 2022 |
|
|
Haskell |
4 |
Learning based Rubik's cube solver |
Sep 29, 2019 |
|
|
Python |
8 |
FOND solver based on SAT |
May 05, 2022 |
|
|
Julia |
2 |
A MOI/JuMP interface for `LocalSearchSolvers.jl`, a Constraint-Based Local Search (CBLS) framework |
Jun 17, 2021 |
|
|
Dart |
23 |
Let's create a SearchAppBar for doing local & network-based search queries in Flutter. |
Jul 07, 2022 |
|
|
TypeScript |
267 |
Offline/local search for Docusaurus v2 |
Aug 12, 2022 |
|
|
Go |
2 |
local search engine for oflline docs |
Apr 04, 2023 |
|
|
Rust |
7 |
Rust library for local search optimization |
Aug 24, 2023 |
|
|
V |
2 |
A search engine for local files. |
Jun 22, 2023 |
|
|
C++ |
6 |
Distributed Poisson Equation Solver Using The Local Discontinuous Galerkin Method |
Jun 29, 2021 |
|
|
Objective-C |
8 |
MapKit sample code. Local search , Route search and Flyover navigation. |
Jan 09, 2019 |
|
|
Python |
8 |
Sudoku Solver based on Deep Learning |
May 11, 2020 |
|
|
C++ |
60 |
Lattice-based integer linear programming solver |
Apr 20, 2023 |
|
|
MATLAB |
2 |
Admm based QP solver in Matlab |
May 14, 2022 |
|
|
C++ |
3 |
SAT solver based on tableaux method |
Jul 13, 2020 |
|
|
Python |
27 |
The libmamba based solver for conda. |
Sep 03, 2022 |
|
|
Python |
22 |
Neural Network Based Lattice Boltzmann solver |
Nov 02, 2021 |
|
|
Fortran |
3 |
A Chimera-based, discontinuous Galerkin solver |
Jan 15, 2019 |
|
|
Python |
5 |
Proof-generated, BDD-based SAT solver |
Jan 28, 2023 |