• MiniSat

  • Referenced in 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • CSPLib

  • Referenced in 91 articles [sw04150]
  • CSPLib is a library of test problems for...
  • Choco

  • Referenced in 65 articles [sw06254]
  • CHOCO is a java library for constraint satisfaction...
  • MiniZinc

  • Referenced in 85 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • OEIS

  • Referenced in 4187 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • FaCiLe

  • Referenced in 4 articles [sw31028]
  • FaCiLe: A functional constraint library. FaCiLe is a...