Add Answer Set Programming and Linear Programming #4999

Job	Run time
Classifier cross-validation	5m 3s
Ruby 3.3	2m 58s
Test Dockerfile	2m 11s
Ruby 3.2	2m 59s
Ruby 3.1	2m 56s
	16m 7s

Provide feedback