FRDCSA
Minor
Internal
External
Git
Packages
democratix-0.2
Jump To:
Parent Description
2) Save the encoding in folder "enc/
" with the extension ".lp".
Here,
specifies the sub-folder that contains the encodings that are compatible with the ASP solver your encoding was designed for.