RECENT POSTS

Bddsolve

May 26, 2018

BDD-based satisfiability and reachability solver

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

WWW http//www.win.tue.nl/~wieger/bddsolve/