Topic: solver

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

OpenNARS 1.6+

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

Connect to ODBC databases (using the DBI interface)

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

Spectral element CFD solver

Solves and analyses optimisation problems

DriftingDroids - yet another Ricochet Robots solver program

A modular sat/smt solver with proof output.

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

Logic programming in Swift

Constraint programming in Rust