• CUDD

  • Referenced in 158 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • OCaml

  • Referenced in 276 articles [sw06363]
  • OCaml is the most popular variant of the...