Alternatives and similar repositories for logicng-rs

Users that are interested in logicng-rs are comparing it to the libraries listed below

• ZettaScaleLabs / zenoh-flow-examples
  Zenoh Flow examples
  ☆17Updated last year
• chrjabs / rustsat
  This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…
  ☆35Updated this week
• ferrous-systems / mdslides
  A tool for turning mdbooks into slide shows
  ☆14Updated 4 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆145Updated 7 months ago
• eclipse-sprotty / sprotty-server
  Server implementation for the Sprotty diagramming framework
  ☆24Updated 7 months ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆25Updated 6 months ago
• eclipse-sprotty / sprotty-vscode
  sprotty-vscode
  ☆58Updated 4 months ago
• ferrocene / criticalup
  Ferrocene's toolchain manager.
  ☆15Updated 2 weeks ago
• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆10Updated last year
• JabRef / jabref-koppor
  Collection of simple for JabRef issues. Please submit PRs to https://github.com/jabRef/jabref/.
  ☆12Updated this week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆98Updated last month
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆33Updated this week
• ultimate-comparisons / ultimate-comparison-framework
  The base of all ultimate-comparisons. Follow the README and create your own ultimate comparison.
  ☆17Updated 4 years ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆61Updated last week
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆13Updated 6 months ago
• model-checking / kani-vscode-extension
  Kani VSCode Extension
  ☆18Updated last month
• ThatOneCalculator / riesketcher
  Riemann sum graphs in Typst with CeTZ
  ☆20Updated last year
• eclipse-epsilon / epsilon
  Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…
  ☆76Updated last week
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆14Updated last year
• HyperAST / HyperAST
  Temporal code analyses at scale
  ☆30Updated 3 weeks ago
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆21Updated 6 years ago
• wasimoff / wasimoff
  Computation offloading is a technique to circumvent device restrictions and bring novel, computationally-intensive applications to a hete…
  ☆14Updated last week
• antonWetzel / typst-languagetool
  LanguageTool Integration for Typst for spell and grammer check
  ☆53Updated 3 weeks ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆47Updated 4 months ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• avitex / mdbook-tera
  Tera preprocessor for mdBook
  ☆20Updated last year
• dmeoli / BeerEX
  Beer EXpert System is a rule-based expert system which suggests a beer to drink according to taste and meal
  ☆17Updated last year
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆23Updated this week