sdd-rs

Bottom-up sentential decision diagram compiler.

Development

Run all tests and linters with pre-commit before committing.

# 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