Bottom-up sentential decision diagram compiler.
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