pkg-descr « bddsolve « science - ports - FreeBSD ports tree

about summary refs log tree commit diff

path: root/science/bddsolve/pkg-descr

blob: 0f44767cd3f7606debe3f9dcfc61ad7baf8aaec5 (plain) (blame)

1 2	`Bddsolve is a BDD-based tool for solving satisfiability and reachability problems. It uses the BDD package Buddy as a backend.`