equal
deleted
inserted
replaced
1 #!/usr/bin/python |
1 #!/usr/bin/python |
|
2 # Title: HOL/Tools/Sledgehammer/MaSh/src/mash.py |
|
3 # Author: Daniel Kuehlwein, ICIS, Radboud University Nijmegen |
|
4 # Copyright 2012 |
|
5 # |
|
6 # Entry point for MaSh (Machine Learning for Sledgehammer). |
|
7 |
2 ''' |
8 ''' |
3 MaSh - Machine Learning for Sledgehammer |
9 MaSh - Machine Learning for Sledgehammer |
4 |
10 |
5 MaSh allows to use different machine learning algorithms to predict relevant fact for Sledgehammer. |
11 MaSh allows to use different machine learning algorithms to predict relevant fact for Sledgehammer. |
6 |
12 |