diff options
| author | Arun Isaac | 2025-06-26 14:37:30 +0100 |
|---|---|---|
| committer | Arun Isaac | 2025-06-26 14:50:27 +0100 |
| commit | 2b90e57c16a31dd65c949a247b482134fba4a9b4 (patch) | |
| tree | 37bf00f3f8a6deb52910f9a0bdc014075004687d /Makefile | |
| parent | 8c2e681cb90e5f319d9e869a75fd200cce4978ed (diff) | |
| download | ravanan-2b90e57c16a31dd65c949a247b482134fba4a9b4.tar.gz ravanan-2b90e57c16a31dd65c949a247b482134fba4a9b4.tar.lz ravanan-2b90e57c16a31dd65c949a247b482134fba4a9b4.zip | |
propnet: Export predicates.
* ravanan/propnet.scm (propnet?, propagator?, scheduler?,
state+status?): Export.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions