finitedomain

Version:

A fast feature rich finite domain solver

9 files

Filename	Content Type	Size
../
coverage.sh	application/octet-stream	1.04 kB
create-git-hooks.sh	application/octet-stream	563 B
git-hook-commit-msg.sh	application/octet-stream	1.79 kB
git-hook-pre-commit.sh	application/octet-stream	1.21 kB
git-hook-prepare-commit-msg.sh	application/octet-stream	474 B
lint.dev.sh	application/octet-stream	898 B
lint.fix.sh	application/octet-stream	787 B
lint.prod.sh	application/octet-stream	693 B
mocha.sh	application/octet-stream	428 B