136 Open source projects that are alternatives of or similar to ipc_solver

OpenNARS for Research 3.0+

Solutions for the book "Language Proof and Logic".

A modular sat/smt solver with proof output.

Quadratic Programming solvers in Python with a unified API

AR Sudoku grabber and solver using JavaCV, JavaFX and Scala

Hodoku is a solver/generator/trainer/analyzer for standard sudoku.

SUNDIALS 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.

A symbolic model checker for Dynamic Epistemic Logic.

A micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.

JavaSMT - Unified Java API for SMT solvers.

Fast linear assignment problem (LAP) solvers for Python based on c-extensions

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Simple python library for calculating the modes of electromagnetic waveguides using finite difference frequency domain method.

Package management library.

Model finder for higher-order logic

A Python (v3.6.5) package that provides a set of basic functions commonly used in integrated photonics.

Bulirsch-Stoer integration of systems of ordinary differential equations in JavaScript

Logic programming in Swift

Linear programming solvers in Python with a unified API

A fast, accurate direct solver and determinant computation for dense linear systems

Lattice-based integer linear programming solver

Frequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

A simple but powerful C++ DAE (Differential Algebraic Equation) solver

A python Linear Programming API

a memory-bound graph-theoretic proof-of-work system

A predictable state management library that helps implement the BLoC design pattern

truth-table-generator is a tool that allows to generate a truth table

GLPK for browser & node

Constraint Optimization with Lava

A Hypixel Skyblock Utilities mod

C++ L-BFGS implementation using plain STL

Version 2 of my Crazy Small CPU

General meta-Heuristic Optimization Solving Toolkit

WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)

OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.

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

A python script that solves ruzzle boards

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

A framework for hydrodynamics explorations and prototyping

TypeDB: a strongly-typed database

COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.

Create linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.

Polyglot solutions for www.projecteuler.net mathematical challenges

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.

HPC solver for nonlinear optimization problems

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

VISual MAth - an equation solver and visualizer

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

Systematic conservation prioritization in R

A curated list of awesome philosophy

A Bundle Adjustment solver for MatchMove related tasks.

a C# wrapper for CapMonster Cloud API

Flutter-Python rubiks cube solver.

A Python linear programming interface library

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

Program for generating and solving numberlink / flow free puzzles

fdtd3d is an open source 1D, 2D, 3D FDTD electromagnetics solver with MPI, OpenMP and CUDA support for x86, arm, arm64 architectures

Backtracking behaviour to solve discrete problems by brute force