Home
Packages
Datasets
Task Views
R resources
Packages
Toggle theme
Toggle Menu
Home
Packages
DAKS
ob_counter
ob_counter function
Computation of Numbers of Counterexamples
Copy
DAKS package
Read PDF manual
Maintainer: Ali Uenlue
License: GPL (>= 2)
Last published: 2016-06-06
http://www.meb.edu.tum.de