Results 1 to 6 of 6
Sort by:

  • 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...