Popular repositories Loading

1. puzzle puzzle Public

   Project on synthesizing solutions for the 15-Puzzle using SAT solvers on a rule-based representation of the problem.

   Java

2. prog_synth_sql prog_synth_sql Public

   Project on synthesizing SQL queries from data and user constraints.

   Scala

3. prog_synth_xpath prog_synth_xpath Public

   Project on synthesizing XPath queries from data and user constraints.

   Scala

4. Rool Rool Public

   A project exploring ranking and scoring algorithms on social media user data.

   Java

5. azureml-previews azureml-previews Public

   Forked from Azure/azureml-previews

   Azure Machine Learning previews

   Python