Add Answer Set Programming and Linear Programming #5011

Job	Run time
Classifier cross-validation	6m 16s
Ruby 3.3	4m 36s
Ruby 3.2	4m 54s
Test Dockerfile	2m 13s
Ruby 3.1	4m 20s
	22m 19s

Provide feedback