| #
d9f2bc3e |
|
04-Feb-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
gen_term was off by 1
|
| #
e9916cfd |
|
04-Jan-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
Refactoring mleTreeNeuralNetwork
|
| #
1ac7ba04 |
|
28-May-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
removing trailing whitespaces
|
| #
aeb7bc97 |
|
25-May-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
removing trailing whitespaces + fix cache errors in term generation
|
| #
8957b136 |
|
06-Apr-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
updating rl for ground arithmetic
|
| #
0ad9000e |
|
15-Mar-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
term generation
|
| #
7f4eeded |
|
01-Mar-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
commenting out DECIDE
|
| #
b1bc3501 |
|
29-Jan-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
propositional and paramodulation provers
|
| #
aafdf862 |
|
13-Jan-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
adding reinforcement_learning directory to the build sequence
|
| #
029871fe |
|
07-Jan-2019 |
thibault <thibault_gauthier@hotmail.fr> |
holyhammer: export to s-expressions and tptp fof formats
|
| #
84c9e91d |
|
27-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
minor
|
| #
d11bd0d1 |
|
11-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
modifying some filenames
|
| #
ee685bd4 |
|
09-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
tactictoe/holyhammer refactoring in progress
|