https://github.com/jsfpdn/sdd-rs

Bottom-up sentential decision diagram compiler.
https://github.com/jsfpdn/sdd-rs

decision-diagram knowledge-compilation model-counting model-enumeration satisfiability-problem sdd sentential-decision-diagram

Last synced: about 1 month ago
JSON representation

Bottom-up sentential decision diagram compiler.

• Host: GitHub
• URL: https://github.com/jsfpdn/sdd-rs
• Owner: jsfpdn
• Created: 2024-02-03T09:53:51.000Z (11 months ago)
• Default Branch: main
• Last Pushed: 2024-11-24T22:55:35.000Z (about 1 month ago)
• Last Synced: 2024-11-24T23:28:03.847Z (about 1 month ago)
• Topics: decision-diagram, knowledge-compilation, model-counting, model-enumeration, satisfiability-problem, sdd, sentential-decision-diagram
• Language: Rust
• Homepage:
• Size: 353 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 11
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# sdd-rs

Bottom-up sentential decision diagram compiler.

## Development

Run all tests and linters with [pre-commit](https://pre-commit.com) before committing.

```bash

# Install pre-commit: https://pre-commit.com/#install

brew install pre-commit

# Set-up pre-commit

pre-commit install

# Run all hooks

pre-commit run --all-files

```