PyMiniSolversA Python API for the MiniSat and MiniCard constraint solvers.
Stars: ✭ 18 (-65.38%)
Cubejscube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
Stars: ✭ 215 (+313.46%)
lpsolversLinear programming solvers in Python with a unified API
Stars: ✭ 20 (-61.54%)
bltLattice-based integer linear programming solver
Stars: ✭ 60 (+15.38%)
ProjecteulerPolyglot solutions for www.projecteuler.net mathematical challenges
Stars: ✭ 137 (+163.46%)
csbA cloth and soft body simulation library, using position based dynamics.
Stars: ✭ 29 (-44.23%)
libdnfPackage management library.
Stars: ✭ 157 (+201.92%)
Pyro2A framework for hydrodynamics explorations and prototyping
Stars: ✭ 181 (+248.08%)
yayagramPlay nonograms/picross in your terminal
Stars: ✭ 33 (-36.54%)
optaplanner-quickstartsOptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
Stars: ✭ 226 (+334.62%)
VismaVISual MAth - an equation solver and visualizer
Stars: ✭ 71 (+36.54%)
rekenaarIdris tactics for (commutative) monoids
Stars: ✭ 21 (-59.62%)
dae-cppA simple but powerful C++ DAE (Differential Algebraic Equation) solver
Stars: ✭ 33 (-36.54%)
rcbcCOIN-OR branch and cut (CBC) bindings for R
Stars: ✭ 16 (-69.23%)
sudokufxAR Sudoku grabber and solver using JavaCV, JavaFX and Scala
Stars: ✭ 64 (+23.08%)
numberlinkProgram for generating and solving numberlink / flow free puzzles
Stars: ✭ 47 (-9.62%)
WarpPIWarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)
Stars: ✭ 93 (+78.85%)
OptaplannerAI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Stars: ✭ 2,454 (+4619.23%)
Cosmo.jlCOSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.
Stars: ✭ 149 (+186.54%)
ProxSDP.jlSemidefinite programming optimization solver
Stars: ✭ 69 (+32.69%)
HiopHPC solver for nonlinear optimization problems
Stars: ✭ 75 (+44.23%)
backtrexBacktracking behaviour to solve discrete problems by brute force
Stars: ✭ 22 (-57.69%)
HodokuHodoku is a solver/generator/trainer/analyzer for standard sudoku.
Stars: ✭ 49 (-5.77%)
Py LapsolverFast linear assignment problem (LAP) solvers for Python based on c-extensions
Stars: ✭ 70 (+34.62%)
Fluid SimulationSelf advection, external force and pressure solve to a velocity field represented by a MaC grid.
Stars: ✭ 107 (+105.77%)
odex-jsBulirsch-Stoer integration of systems of ordinary differential equations in JavaScript
Stars: ✭ 52 (+0%)
euler2D-kfvs-Fortran20032D solver for Euler equations in quadrilateral grid, using kinetic flux vector splitting scheme, written in OOP F2003
Stars: ✭ 17 (-67.31%)
salesman.jsSolves the traveling salesman problem using simulated annealing.
Stars: ✭ 38 (-26.92%)
flipyA Python linear programming interface library
Stars: ✭ 23 (-55.77%)
TotsuFirst-order conic solver for convex optimization problems
Stars: ✭ 18 (-65.38%)
glpk.jsGLPK for browser & node
Stars: ✭ 72 (+38.46%)
ipc solverO(N log N)-space IPC solver in OCaml
Stars: ✭ 46 (-11.54%)
SkytilsModA Hypixel Skyblock Utilities mod
Stars: ✭ 236 (+353.85%)
cplex-exampleSolving a TSP with the CPLEX C++ API.
Stars: ✭ 40 (-23.08%)
mSATA modular sat/smt solver with proof output.
Stars: ✭ 91 (+75%)
GHOSTGeneral meta-Heuristic Optimization Solving Toolkit
Stars: ✭ 28 (-46.15%)
SiEPIC Photonics PackageA Python (v3.6.5) package that provides a set of basic functions commonly used in integrated photonics.
Stars: ✭ 22 (-57.69%)
qpmadROS-compatible Eigen-based Goldfarb-Idnani quadratic programming solver
Stars: ✭ 41 (-21.15%)
SundialsSUNDIALS is a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. This is a mirror of current releases, and development will move here eventually. Pull requests are welcome for bug fixes and minor changes.
Stars: ✭ 194 (+273.08%)
fdtd3dfdtd3d is an open source 1D, 2D, 3D FDTD electromagnetics solver with MPI, OpenMP and CUDA support for x86, arm, arm64 architectures
Stars: ✭ 77 (+48.08%)
LogicianLogic programming in Swift
Stars: ✭ 182 (+250%)
libsmt.rsRust Bindings to interact with SMTLIB2 compliant solvers
Stars: ✭ 14 (-73.08%)
QpsolversQuadratic Programming solvers in Python with a unified API
Stars: ✭ 157 (+201.92%)
ruzzle-solverA python script that solves ruzzle boards
Stars: ✭ 46 (-11.54%)
HodlrA fast, accurate direct solver and determinant computation for dense linear systems
Stars: ✭ 140 (+169.23%)
AlphaA lazy-grounding Answer-Set Programming system
Stars: ✭ 44 (-15.38%)
Java SmtJavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (+69.23%)
AnglerFrequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices
Stars: ✭ 75 (+44.23%)
CSDP.jlJulia Wrapper for CSDP (https://projects.coin-or.org/Csdp/)
Stars: ✭ 18 (-65.38%)
philsolSimple python library for calculating the modes of electromagnetic waveguides using finite difference frequency domain method.
Stars: ✭ 21 (-59.62%)
focus-outside📦 一个很棒的 clickOutside 库,它解决了 iframe 无法触发 clickOutside 的问题,并且它支持分组绑定处理。A good clickOutside library, which solves the problem that iframe cannot trigger clickOutside, and it supports grouping binding processing.
Stars: ✭ 74 (+42.31%)
stiff3Adaptive solver for stiff systems of ODEs using semi-implicit Runge-Kutta method of third order
Stars: ✭ 13 (-75%)
JSMinesweeperMinesweeper player, solver and analyser in javascript
Stars: ✭ 25 (-51.92%)
featool-multiphysicsFEATool - "Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS, OpenFOAM, SU2 Solver GUI & Multi-Physics Simulation Platform)
Stars: ✭ 190 (+265.38%)
stlbfgsC++ L-BFGS implementation using plain STL
Stars: ✭ 21 (-59.62%)