sentential-decision-diagram

There are 0 repository under sentential-decision-diagram topic.

• thtran97 / Knowledge-Compilers

  A Python (re-)implementation of some known knowledge compilers

  knowledge-compilationcnf2ddnnfbinary-decision-diagramscompilernegation-normal-formsentential-decision-diagramconjunctive-normal-formtractable-queries
  Language:Python 7

• jsfpdn / sdd-rs

  Bottom-up sentential decision diagram compiler.

  decision-diagramsmodel-countingsatisfiabilitysddsentential-decision-diagram
  Language:Rust 4

• whitemech / cynthia

  SDD-based Forward LTLf Synthesis

  linear-temporal-logicfinite-synthesisand-or-graphsand-or-searchcppsddsentential-decision-diagramtemporal-logics-on-finite-traces
  Language:C++ 4