Alternatives and similar repositories for parasols

Users that are interested in parasols are comparing it to the libraries listed below

• ciaranm / glasgow-constraint-solver
  A constraint programming solver with support for proof logging
  ☆17Updated 2 months ago
• michael-lehn / ulmBLAS
  ulmBLAS
  ☆107Updated 8 months ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆81Updated last week
• ciaranm / cp2015-subgraph-isomorphism
  CP 2015 subgraph isomorphism experiments, data and paper
  ☆13Updated 10 years ago
• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆37Updated 3 years ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆97Updated last week
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆105Updated last year
• KarlsruheMIS / pace-2019
  Winning Solver of PACE Challenge 2019 Track A
  ☆13Updated 4 years ago
• arminbiere / kissat
  ☆602Updated 3 months ago
• ths-rwth / smtrat
  ☆61Updated 2 months ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆407Updated last week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆64Updated this week
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 9 years ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆87Updated 4 months ago
• bingmann / sqlplot-tools
  Generate pgfplots or gnuplots from embedded SQL statements
  ☆30Updated 9 months ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆66Updated 6 months ago
• ysiraichi / enfield
  An OpenQASM source-to-source Compiler.
  ☆19Updated 6 years ago
• cyclops-community / ctf
  Cyclops Tensor Framework: parallel arithmetic on multidimensional arrays
  ☆213Updated 8 months ago
• shiblon / latex-makefile
  A Makefile for LaTeX - drop it in, type make, and magic happens.
  ☆190Updated 2 years ago
• patflick / mxx
  C++11 Message Passing
  ☆74Updated 3 years ago
• nemequ / icc-travis
  Directions for installing ICC compiler on Travis CI
  ☆50Updated 6 years ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆19Updated 2 months ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆22Updated 4 months ago
• twalgor / tw
  ☆14Updated 3 years ago
• elemental / Elemental
  Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction
  ☆514Updated 6 years ago
• TCS-Meiji / PACE2017-TrackA
  ☆22Updated 8 years ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆70Updated 6 months ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆514Updated this week
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆37Updated 10 months ago
• soarlab / FPTaylor
  Tool for Rigorous Estimation of Round-Off Floating-Point Errors
  ☆33Updated last year