fexed / Notes

Related projects ⓘ

Alternatives and complementary repositories for Notes

• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆12Updated 2 years ago
• crillab / metrics
  mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
  ☆11Updated last year
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆117Updated last week
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆514Updated this week
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆20Updated 8 months ago
• arminbiere / satch
  SAT Solver SATCH
  ☆107Updated 2 years ago
• quasylab / sibilla
  A tool for forecasting behaviour of Collective Adaptive Systems.
  ☆7Updated 3 weeks ago
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆48Updated last year
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆70Updated 4 months ago
• FlorentAvellaneda / EvalMaxSAT
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
  ☆15Updated 6 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆30Updated this week
• rovaniemi / osm-graph-parser
  Java program that parses OSM XML files into a json graph representation.
  ☆12Updated 6 years ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆376Updated this week
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆42Updated 6 months ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆64Updated 2 months ago
• marcofavorito / master-thesis
  My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.
  ☆10Updated 6 years ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆63Updated 5 months ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆144Updated this week
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆181Updated last month
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆24Updated 2 years ago
• FIUP / Sweki
  La wiki di Ingegneria del Software
  ☆6Updated 7 years ago
• JHL-HUST / BandMaxSAT
  BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver
  ☆10Updated last year
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated last year
• meelgroup / approxmc
  Approximate Model Counter
  ☆70Updated 3 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆88Updated this week
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆40Updated 11 months ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated 11 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆150Updated this week
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆391Updated 5 months ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated 3 weeks ago