Search Results for "open solver" - Page 9
Sort By:
Showing 338 open source projects for "open solver"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
1
This is a development code for computer science research. It implements a solver for compressible gas dynamics. The code is distributed-memory parallel using MPI and data-parallel using the OpenCL framework.
-
2
A simple command line tool for solving the triangular peg solitaire game, like the one at Cracker Barrel. Also has a few other features.
-
3
-
4
The openLBMflow is an fast fluid flow solver based on Lattice Boltzmann Method. Main future are 2D and 3D code, single and multiphase models, Output data in VTK format can be directly open in Paraview. Download Windows or Linux binary version now.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
A fast, logic-based step-by-step Sudoku solver.
-
6
-
7
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
-
8
This is a FreeCell solitaire game solver written in the Java. It is fast and capable - it solves all of the first million Microsoft deals in about 4 hours - 99.99% of them in less than a second, and no deal takes more than 1 minute.
-
9
The aim of the PL-PSF project is to create a generic domain-independent combinatorial problem solver. It uses a petri-nets based model to represent the problems and problem decomposition/abstraction with graph topology analysis to solve them.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
This is an intelligent Sudoku solver in c++. It is intlligent, because it uses several logical deduction methods, just like a person, before resorting to guessing. I was trying to teach my kids Sudoku, and taught a computer as proof of concept.
-
11
The general triangle solver. It computes all solutions for a triangle specified by combination of sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of alpha-beta.
-
12
A 2-D inviscid flow and adjoint solver on unstructured triangular grids. It makes use of a vertex-centroid finite volume scheme which is second order accurate. The adjoint solver is developed using the automatic differentiation tool called TAPENADE. Code has been moved to https://github.com/cpraveen/euler2d
-
13
A modular SAT solver based on Minisat. The modules are described in XML-files, which are processed by a perl script; thus generating n-solvers.
-
14
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
-
15
-
16
chemfem is a high order finite element method that can solve general partial differential equations and the reacting Navier Stokes equations in particular.
-
17
jAlgorithms is a project mainly for educational purposes. It contains some of the popular algorithms and data structures.
-
18
Trinkets for hackers. Currently: Rubik cube move series inventor. Go solver for tiny boards. Jokes converted into lateral puzzles. Turing machine enumeration Things coming: sci-fi ideas/stories, chess (endgame), etc... License GPL+GFDL
-
19
aka Hua Rong Dao (華容道). This is a sliding block game and its solver. Goal: Move the biggest piece to exit in the middle bottom. You can customize the pieces' shape and the configuration of the board. The program shall find the optimal solution
-
20
Kuhn-Munkres is used inside assignment problem solver application. Instance generator application creates input file for the solver. Checker application verifies the solution computed by the solver. A bash script compiles, executes these apps.
-
21
Jdoku is a sudoku solver made in java. It implements the swing API. The sudoku solver applies two logics for now. Try it. I got board solving news paper sudoku after creating this!
-
22
An experimental Sudoku solver that is written using 64 lines or less of C code. Meant as a general experiment in seeing if Sudoku can be solved in that small amount of code.
-
23
-
24
Solve equations with ease! Type in an eqution such as x=x+1/2*x and in milliseconds it will solve it. Written in PHP.
-
25
MicroPather is a path finder and A* solver (astar or a-star) written in platform independent C++ that can be easily integrated into existing code. MicroPather focuses on being a path finding engine for video games but is a generic A* solver.