#format wiki #language en = Encoding Examples = <> <> ---- == ASP Core == Encodings strictly contained in ASP-Core <
> ||'''Problem Name''' || || ||'''Input Example<
>''' ||'''Output Example<
>''' || ||Hamiltonian path ||[[attachment:hamiltonian-path.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/HamiltonianPath.shtml|Description from 2nd ASP competition website]] || || || ||Maximal monochrome paths ||[[attachment:maximal-monochrome-paths.core.asp.txt|encoding]] ||[[attachment:maximal-monochrome-paths-description.txt|Description]] || || || ||Reachability ||[[attachment:reachability.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Reachability.shtml|Description from 2nd ASP competition website]] || || || ||Schur numbers ||[[attachment:schur-numbers.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/SchurNumbers.shtml|Description from 2nd ASP competition website]] || || || ||Sokoban ||[[attachment:sokoban.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sokoban.shtml|Description from 2nd ASP competition website]] || || || ||Strategic companies ||[[attachment:strategic-companies.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/StrategicCompanies.shtml|Description from 2nd ASP competition website]] || || || ||Sudoku ||[[attachment:sudoku.core.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/Sudoku.shtml|Description from 2nd ASP competition website]] || || || [[#TOC|Torna all'inizio della pagina]] ---- == ASP RfC == Encodings in ASP-RfC <
> ||'''Problem Name''' || ||[[attachment:hamiltonian-path-input.txt]]|| ||Company controls ||[[attachment:company-controls.rfc.asp.txt|encoding]] ||[[http://dtai.cs.kuleuven.be/events/ASP-competition/Benchmarks/CompanyControl.shtml|Description from 2nd ASP competition website]] || ---- [[#TOC|Back to top of page]] ----