#

sdd

Here are 2 public repositories matching this topic...

ashkanRmk / educational-projects

📚 Fundamental and Advanced Programming, Data Structure, OS Lab and Principle of Compiler Courses Educational Projects

c-plus-plus lab university-project python3 educational roman-numerals hacktoberfest sdd syntax-directed-definition

Updated Apr 16, 2023
C++

whitemech / cynthia

SDD-based Forward LTLf Synthesis

cpp linear-temporal-logic sdd and-or-graphs and-or-search sentential-decision-diagram finite-synthesis temporal-logics-on-finite-traces

Updated Jan 15, 2023
C++

Improve this page

Add a description, image, and links to the sdd topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sdd topic, visit your repo's landing page and select "manage topics."