Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 C Solver Open Source Projects

Open source projects categorized as C Solver
Hpgmg ⭐ 12
High-performance Geometric Multigrid
most recent commit 5 years ago
Interplicfoam ⭐ 12
Solver for two incompressible, isothermal and immiscible fluids using the PLIC-VOF method.
most recent commit 5 years ago
Eeover ⭐ 11
Ellipse-Ellipse overlap area
most recent commit 2 years ago
Swiprologz3 ⭐ 11
A simple Prolog API for the Z3 constraint solver
most recent commit 6 years ago
Projectionfoam ⭐ 11
Non-iterative transient flow solver to simulate incompressible flows in OpenFOAM.
most recent commit 7 months ago
Cadet ⭐ 10
A fast and certifying solver for quantified Boolean formulas.
most recent commit 3 years ago
Sundialr ⭐ 10
R Interface to CVODE/CVODES/IDA functions in the SUNDIALS ODE solving C library
dependent packages 1total releases 6most recent commit 5 months ago
Pagmo_plugins_nonfree ⭐ 10
A pagmo affiliated package (https://github.com/esa/pagmo2) adding commercial solvers to the list of solvers/algorithms: SNOPT7, WORHP
most recent commit a year ago
Python Minisat ⭐ 10
MiniSat wrapper module for Python
most recent commit 13 years ago
Sudoku ⭐ 10
Fast sudoku solver
most recent commit 5 years ago
Cnc ⭐ 10
Cube-and-Conquer SAT solver
most recent commit 4 years ago
8 Puzzle Solver ⭐ 10
A BFS and A* implementation to the classic 8-puzzle problem
most recent commit 6 years ago
Bill ⭐ 9
C++ header-only reasoning library
most recent commit 2 years ago
Rubiks Cube Solver ⭐ 9
Rubiks Cube Solver
most recent commit 6 years ago
Ocaml Qbf ⭐ 9
OCaml bindings to QBF solver(s)
most recent commit a year ago
Rmumps ⭐ 9
Wrapper for MUMPS Library
dependent packages 4total releases 30most recent commit 5 months ago
Gss ⭐ 9
best CPU/GPU sparse solver for large sparse matrices
most recent commit 3 years ago
Bfam ⭐ 9
bfam is a set of tools to develop coupled, multi-physics discontinuous Galerkin solvers on adapted Cartesian meshes. bfam tools are not a standalone solver, but designed to be integrated with an application.
most recent commit 8 years ago
Ifem Poroelasticity ⭐ 8
PoroElasticity solvers built on IFEM
most recent commit 5 months ago
Libspmatrix ⭐ 8
Yet another simple sparse matrix library
most recent commit a year ago
L1 Trend Filtering ⭐ 8
This is a Python package wrapper around the C solver for the l1 trend filtering algorithm written by Kwangmoo Koh, Seung-Jean Kim and Stephen Boyd.
most recent commit 6 years ago
1nsanity ⭐ 8
LLVM pass that obfuscates against symbolic execution
most recent commit 6 years ago
Multithreaded Sudoku ⭐ 8
A multi-threaded Sudoku puzzle solver written in C. Uses pthread to divide the work among threads.
most recent commit 9 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.