Published June 13, 2025
| Version v1
Software
Open
FORCE: Artefact for "Inductive First-Order Formula Synthesis by ASP" in ICLP25
Creators
-
1.
National University of Singapore
-
2.
Yale-NUS College
Description
Files
FORCE-main.zip
Files
(4.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:318fa1aa6fdc3553779585d011d2f21e
|
4.6 MB | Preview Download |