Found 22 repositories(showing 22)
mafila
9 puzzle solver: Rubik's 2x2x3, 2x2x2, 3x3x3, 4x4x4, 5x5x5; Pyraminx, Skewb, 3x3x3 Gear Cube, Face-turning Octahedron
harishbarod
Psolver is a forum website helps to solve queries related coading.
OpenMandrivaAssociation
CryptoMiniSat is a SAT solver that aims to become a premiere SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat. The long-term goals of CryptoMiniSat are to be an efficient sequential, parallel and distributed solver. There are solvers that are good at one or the other, e.g. ManySat (parallel) or PSolver (distributed), but we wish to excel at all. CryptoMiniSat 2.5 won the SAT Race 2010 among 20 solvers submitted by researchers and industry.
RdFatimazahra
No description available
EazyReal
poker solver
picklestudios
Solves polynomials
ozdogans
Puzzle solver
Runtela
No description available
Ppasha9
THE BEST Problem-Solver
bruze
No description available
NotHotmilk
No description available
ChrysanthemumT
solver for Texas Hold'em
WONKIMWK
Problem solver in R
bhaviksharma
No description available
dcakagi
No description available
jfCoronel
pSolver DB - React application for managing and viewing problem databases
xavierwoo
No description available
lopeztarifa
Short Fortran 90 program to test the BigDFT Poisson solver in parallel using MPI libraries.
wangzheqie
No description available
jfCoronel
Repositorio para el acceso web a pSolver.org
Sumetjutha
No description available
isaacspidey
In this repository I will be uploading my python notebooks that contains Mr Psolver videos contents.
All 22 repositories loaded