Search Results for "open solver" - Page 11
Sort By:
Showing 338 open source projects for "open solver"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Simple command-line solver of the nonogram logic puzzles. Simulates human techniques of soluting. Development inactive, but moved to: http://github.com/martinkozak/nonogram-solver.
-
2
MRCWA - Multilayer Rigorous Coupled Wave Analysis is a fast, flexible optical grating solver. It calculates an exact solution to the Maxwell equations for the diffraction of light from an optical grating with arbitrary profile and materials.
-
3
Curious mad fan of sudoku, I've been pretty disappointed to always find programs processing all cases. For us "humans", it's unusable. That's why I've had in mind so far to create one which could help us (giving hints) if we're stumped.
-
4
QNonograms is crossplatform nonogram (also know as griddlers or paint-by-numbers) puzzle solver/game.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
Constraint Satisfaction Problems Solver for Binary constraints, input files in XML with the current format XCSP 2.1, adopted for the 2008 CSP/MaxCSP/WCSP solver competition. The solver is in C++ and use the boost library
-
6
MUSoSu - Marios Sudoku, is a sudoku solver/ generator written in Java. As a solver, it emphasizes in solving sudokus in a human-like manner. As a generator it generates sudoku problems that do not need trial & error methods to solve.
-
7
-
8
JASPWrapper is a potential "universal" java wrapper for ASP (answer set programming) inferential engine. It invokes native compiled solver and grounder by Java Virtual Machine and computes answers set analyzing and reifying output stream.
-
9
ktsolver - Knight's Tour problem solver. Finds quickly a lot of solutions of the Knight's Tours problem.
-
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.
-
10
Written in C w/Gtk+, Gthreads. Plays 9x9/16x16 sudokus. Look & feel is customizable. Generates human-solvable games. Includes solver. Can open/save games. Players can create their own puzzles. Send feedback if you think this game blows.
-
11
This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.
-
12
yades - "yet another differential equation solver". This Java application solves ordinary differential equations (ODE) numerically and displays the results as tables, graphs, direction fields or vector fields.
-
13
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
-
14
CFD (computational fluid dynamics) software. Numerical 2d-solver for compressible ideal gases. Sophisticated turbulence and numerical approach which captures laminar-turbulent transition and aero-acoustic features.
-
15
-
16
Ordinary Differential Equation (ODE) solver for Tcl. Handles both stiff and non-stiff sets of equations; does time-evolved initial value problems and root finding. Based on the popular Lawrence Livermore solver LSODE.
-
17
Matho is a OS Independant Application and API for mathematical operations, features include curve sketching, calculus, iterative formulae, algebra solver, 2d/3d geometry and mechanical and statistical functionality.
-
18
-
19
Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.
-
20
-
21
This is no Sudoku solver, but "explainer". It can guide you with logic through the solving process. Not only 9x9 grids: MxN, samurai or any layout you can describe with the board editor! Now with a great GUI! Manual, tutorial, examples...
-
22
SImple SUdoku SOlver wants to be just that: a very simple sudoku generator and solver that is as simple and general as possible.
-
23
CSameGame is a multiplatform Java game based on SameGame. It also supports various game styles, save and load games, highscore ladder, a solver and an helper
-
24
This is an electrochemical battery model designed to run on the Playstation 3. The model is solved using a direct banded solver at each Newton step.
-
25
The Optimized Sparse Kernel Interface (OSKI) Library provides automatically tuned sparse matrix kernels, for use by solver libraries and applications. OSKI is part of the BeBOP project on performance tuning and analysis at U.C. Berkeley. (Go Bears!)