ASPLIB: The Answer Set Programming Satisfiability Library
http://www.dit.unitn.it/~wasp
Department of Information & Communication Technology
http://www.dit.unitn.it
University of Trento, ITALY
http://www.unitn.it
Home
Submission
Evaluation
Benchmarks
ASP Solvers
Related Sites
Benchmarks
Classical Benchmarks
Software Engineering
Access Control
Top of page
Collection of ASP Benchmarks
Classical Benchmarks
Source:
Description
Hamiltonian Path
Classical ASP benchmark from
Asparagus
Ramsey
Classical ASP benchmark from
Asparagus
Same Generation
Classical ASP benchmark from
Asparagus
Schur Numbers
Classical ASP benchmark from
Asparagus
Strategic Companies
Classical ASP benchmark from
Asparagus
Software Engineering
Source:
Description
UniTN
"Security Programmatic Document" of the University of Trento
Health
Simple Medical Information System
Access Control
