Topic: solver

CppNumericalSolvers

CppNumericalSolvers

221

L-BFGS-B implementation in C++11 using Eigen

opennars

opennars

86

OpenNARS 1.6+

cubejs

cubejs

73

cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube

odbc

odbc

57

Connect to ODBC databases (using the DBI interface)

ProjectEuler

ProjectEuler

42

Compilation of solutions from www.projecteuler.net in various languages

Nek5000

Nek5000

35

Spectral element CFD solver

Mantella

Mantella

28

Solves and analyses optimisation problems

DriftingDroids

DriftingDroids

19

DriftingDroids - yet another Ricochet Robots solver program

mSAT

mSAT

16

A modular sat/smt solver with proof output.

Nonogram

Nonogram

14

Another nonogram (also known as hanjie, picross and griddlers) editor and solver. No dependencies.

Logician

Logician

12

Logic programming in Swift

pcp

pcp

11

Constraint programming in Rust