Projects from the SPLC 2019 community

This page summarizes the experiments conducted with symfinder on projects sent by the community.

List of analyzed projects

• OpenWonderland
• ProdutLinRE
• Sat4j
• Sat4j Core
• Spoon