https://github.com/guicho271828/dd-schema

A higher-level helper library for CL-CUDD.
https://github.com/guicho271828/dd-schema

Last synced: 29 days ago
JSON representation

A higher-level helper library for CL-CUDD.

• Host: GitHub
• URL: https://github.com/guicho271828/dd-schema
• Owner: guicho271828
• Created: 2017-06-25T11:03:33.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-06-26T06:28:41.000Z (over 7 years ago)
• Last Synced: 2024-10-15T14:11:00.837Z (3 months ago)
• Language: Common Lisp
• Size: 4.88 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        


# DD-schema

This is a higher-level helper library

for [CL-CUDD](https://github.com/guicho271828/cl-cudd).

It helps defining a schema for A/B/ZDD variables that represent a certain structure,

such as numbers, symbolic variables, flags and so on.

A schema forms a tree, and a leaf node and an intermediate node in this tree is

called a leaf schema and an compound schema.

An compound schema can contain several sub-schema, similar to classes.