PyPI page
Home page
Author:
Lasse Blaauwbroek, Fidel I. Schaposnik Massolo, Miroslav Olšák, Vasily Pestun, Jason Rute
License:
MIT
Summary:
Train and run models which predict tactics for Coq.
Latest version:
1.0.4
Required dependencies:
graphviz
|
keras
|
numpy
|
protobuf
|
psutil
|
pycapnp
|
pytactician
|
pytest
|
pyyaml
|
tensorflow
|
tensorflow-gnn
|
tqdm
Downloads last day:
0
Downloads last week:
7
Downloads last month:
25