• ASSAT

  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • Smodels

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • PPL

  • Referenced in 101 articles [sw05357]
  • Possibly not closed convex polyhedra and the Parma...
  • Boogie

  • Referenced in 120 articles [sw07714]
  • Boogie: An Intermediate Verification Language. Boogie is an...
  • Datalog

  • Referenced in 292 articles [sw20023]
  • Datalog is a declarative logic programming language that...
  • Groovy

  • Referenced in 4 articles [sw26072]
  • Apache Groovy is a powerful, optionally typed and...
  • Cibai

  • Referenced in 4 articles [sw26821]
  • Cibai: An abstract interpretation-based static analyzer for...