Alternatives and similar repositories for CNF-DNF-Calculator

Users that are interested in CNF-DNF-Calculator are comparing it to the libraries listed below

• meelgroup / MLIC
  A new framework to generate interpretable classification rules
  ☆17Updated 2 years ago
• delftdata / valentine
  A tool facilitating matching for any dataset discovery method. Also, an extensible experiment suite for state-of-the-art schema matching …
  ☆88Updated last month
• slebok / bibsleigh
  The extensive approach to SLE bibliography
  ☆29Updated 4 years ago
• karmaresearch / vlog
  ☆56Updated last year
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago
• starling-lab / BoostSRL
  BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.
  ☆32Updated last year
• gh-rdf3x / gh-rdf3x
  Extension of the rdf3x engine and the translatesparql tool.
  ☆45Updated 11 years ago
• lambdamusic / Ontospy
  Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.
  ☆227Updated last year
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago
• xflows / rdm
  Relational data mining in python
  ☆31Updated 2 years ago
• adeharo9 / antlr4-cpp-runtime
  Standalone ANTLR4 C++ runtime
  ☆17Updated 4 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆59Updated 2 months ago
• StarExec / StarExec
  StarExec is a cross community logic solving service
  ☆18Updated 10 months ago
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated 11 months ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆20Updated 2 years ago
• SemanticApplicationDesignLanguage / sadl
  Semantic Application Design Language (SADL) Open Source Code
  ☆32Updated 8 months ago
• predict-idlab / MINDWALC
  Code & experiments for MINDWALC: Mining Interpretable, Discriminative Walks for Classification of Nodes in a Graph
  ☆13Updated 10 months ago
• SmartDataAnalytics / SML-Bench
  A Benchmark for Machine Learning from Structured Data
  ☆21Updated 3 years ago
• difflog-project / datalog-bench
  Benchmark Suite for Interpretable Rule Learning
  ☆12Updated 4 years ago
• AKSW / LSQ
  Linked SPARQL Queries (LSQ): Framework for RDFizing triple store (web) logs and performing SPARQL query extraction, analysis and benchmar…
  ☆26Updated 6 months ago
• namasikanam / raft-spin
  A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
  ☆16Updated 4 years ago
• yWorks / ontology-visualizer
  The sample web app for the yFiles use case about an Ontology Visualizer.
  ☆12Updated last month
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• IBM / pyflowgraph
  Flow graphs for Python
  ☆26Updated 2 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• MalihehIzadi / SoftwareTagRecommender
  A tag recommender based on SOTA machine learning algorithms to automatically recommending tags to software repositories.
  ☆19Updated 2 years ago
• dbs-leipzig / giraph-algorithms
  Library of graph algorithms for Apache Giraph.
  ☆8Updated 9 years ago
• tcsprojects / pgsolver
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆35Updated 9 months ago