FreeBSD.software
Home/science/bddsolve

bddsolve

1.04_20

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.

Origin: science/bddsolve
Category: science
Size: 340KiB
License: not specified
Maintainer: ed@FreeBSD.org
Dependencies: 2 packages
Required by: 0 packages
Website: www.win.tue.nl/~wieger/bddsolve
$pkg install bddsolve

Dependencies (2)

buddyboost-libs

More in science

py311-scipy1.11.1_4,1
Scientific tools for Python
hdf51.12.2_2,1
Hierarchical Data Format library (from NCSA) (latest)
py311-scikit-learn1.7.2
Machine learning algorithms for python
libaec1.1.4
Adaptive entropy coding library
netcdf4.9.3
C library for machine-independent, array-oriented data access
py311-h5py3.15.1
General-purpose Python interface to the HDF5 library
p5-Chemistry-Mol0.40
Perl toolkit to describe molecules
libxc6.2.2
Library of exchange-correlation functionals for DFT
py311-libpysal4.13.0
Core components of PySAL A library of spatial analysis functions
py311-dimod0.12.21
DWave: Shared API for QUBO/Ising samplers