diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-02 21:55:45 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-02 21:55:45 -0300 |
| commit | 73aec387d33626e33026432db5b1137b59edf0cf (patch) | |
| tree | 1aa17b8fd996aa6bf517e12383e9b34bb0601752 /lib/concepts/Encoding.ml | |
| parent | 80b0e6fa676afaefbd3a6dc9edeab073343f0a2b (diff) | |
| download | RNT-relation-bipartite-registration.tar.gz RNT-relation-bipartite-registration.zip | |
FOL test with program instantiationrelation-bipartite-registration
Diffstat (limited to 'lib/concepts/Encoding.ml')
0 files changed, 0 insertions, 0 deletions