• QRM

• Referenced in 718 articles [sw11358]
• R package QRM: Provides R-language Code to...

• Z-Tree

• Referenced in 643 articles [sw11707]
• Z-Tree: Zurich Toolbox for ready-made economic...

• C4.5

• Referenced in 1162 articles [sw12176]
• C4.5: programs for machine learning. (C4.5 has been...

• OpenMPI

• Referenced in 83 articles [sw13111]
• A High Performance Message Passing Library. The Open...

• Treengeling

• Referenced in 51 articles [sw13314]
• Lingeling, Plingeling and Treengeling: Lingeling and its parallel...

• Python

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

• libexact

• Referenced in 22 articles [sw17197]
• libexact is a software library for solving combinatorial...

• Orthogonal Array

• Referenced in 30 articles [sw22372]
• The Orthogonal Array (OA) package is a software...

• Splatz

• Referenced in 13 articles [sw25930]
• This is the SAT solver Splatz. It is...

• GENREG

• Referenced in 60 articles [sw26671]
• Fast generation of regular graphs and construction of...

• snarkhunter

• Referenced in 20 articles [sw26975]
• Cubic graphs and Snarks: Snarkhunter is a generator...

• Lingeling

• Referenced in 85 articles [sw28021]
• SAT solver Lingeling. ...

• reduce

• Referenced in 2 articles [sw31512]
• Reduce - A tool for symmetry breaking. This git...

• YalSAT

• Referenced in 25 articles [sw31644]
• YalSAT Yet Another Local Search Solver. Around 2012...