Search Results for "solver" - Page 11
Sort By:
Showing 355 open source projects for "solver"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
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.
-
2
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.
-
3
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.
-
4
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.
-
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.
-
5
-
6
Solver for the Data Compaction Problem (dcp) for static test compaction and some specific bionformatic issues. Contains code, charts, tables and test data.
-
7
-
8
A simple pdcurses based nonogram solver written entirely in C++, compiled with GCC (MinGW on Windows). Currently broken.
-
9
jAlgorithms is a project mainly for educational purposes. It contains some of the popular algorithms and data structures.
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
10
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
-
11
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
-
12
-
13
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!
-
14
Ket hop cac SMT solver hien co: Z3, Yices, CVC3 thành một hệ thống chạy trên Lan có khả năng đưa ra lời giải tối ưu nhất cho một ràng buộc logic đưa vào.
-
15
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.
-
16
-
17
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.
-
18
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.
-
19
-
20
A SuDoku Solver written in java. Main aim is to provide an software environment which solves any given sudoku game "logically". That is like a human would solve. In future provision for playing sudoku games will also be added to the project.
-
21
AvatarSAT is a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis.
-
22
-
23
Pydusa is a package for parallel programming using Python. It contains a module for doing MPI programming in Python. We have added parallel solver packages such as Parallel SuperLU for solving sparse linear systems.
-
24
Sudoku solver written in Python using the TkInter library. Handles various puzzle sizes and allows for both letters and numbers. If you don't have Python installed you can get it at http://www.python.org/download/
-
25
Sudoku solver written in Python using the TkInter library. Handles various puzzle sizes and allows for both letters and numbers. This project site is not active, please visit http://sourceforge.net/projects/tkpysudoku/
