solver
Here are 189 public repositories matching this topic...
Brute force solver that unveals that the puzzle described in https://en.wikipedia.org/wiki/36_Cube cannot be solved without using a trick...
-
Updated
May 8, 2016 - C++
Brute force solver fo the puzzle described in https://en.wikipedia.org/wiki/TetraVex
-
Updated
Jun 23, 2016 - C++
Source code for KR 2016 paper "Implicit Hitting Set Algorithms for Reasoning Beyond NP"
-
Updated
Jan 26, 2017 - C++
Novel decision procedure for WS1S logic
-
Updated
Feb 3, 2017 - C++
This software is a Mokitu (Sudoku with letters) Solver and Builder, using wxWidgets 3 and Gecode 4.2.1.
-
Updated
Mar 19, 2017 - C++
-
Updated
Apr 17, 2017 - C++
Openfoam library for physiological flow. Solvers and boundary conditions.
-
Updated
Aug 9, 2017 - C++
Solver for the puzzle Lonpos Cosmic Creature
-
Updated
Oct 25, 2017 - C++
SyGuS solver for programming-by-example
-
Updated
Nov 21, 2017 - C++
Program that solves an eight puzzle (well, that's the goal)
-
Updated
Dec 16, 2017 - C++
N-Queen Problem
-
Updated
Dec 31, 2017 - C++
Navier Stokes equation is solved by using Chorin's projection method
-
Updated
Jan 4, 2018 - C++
Parse and solve basic equations in infix notation using C++.
-
Updated
Jan 9, 2018 - C++
Improved version of real-time physics engine that couples FEM-based deformables and rigid body dynamics
-
Updated
Jan 21, 2018 - C++
Improve this page
Add a description, image, and links to the solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the solver topic, visit your repo's landing page and select "manage topics."