• Python

  • Referenced in 2091 articles [sw14460]
  • Python is a widely used high-level, general...
  • PySAT

  • Referenced in 18 articles [sw25459]
  • PySAT: A Python toolkit for prototyping with SAT...
  • RC2

  • Referenced in 10 articles [sw36048]
  • RC2: a python-based maxsat solver. An implementation...