Expand description
Python bindings for XLOG via PyO3.
Structsยง
- Compiled
IlpProgram - Compiled
Logic Program - Compiled
Program - Epoch
Stats - Statistics for a single training epoch.
- Eval
Result - IlpProgram
Factory - IlpTagged
Credit Device Result - Logic
Eval Result - Logic
Program - Logic
Query Result - Logic
Relation Session - McDevice
Eval Result - Program
- PyDifferentiable
Proof Trace Map - Training
History - Training history tracking loss over epochs and batches.