Answer Set Solver
method
ID: answersetsolver
Entity Details
Basic Information
Entity ID
answersetsolver
Entity Type
Method
English Label
Answer Set Solver
Russian Label
Решатель множества ответов
Kazakh Label
Жауап жиыны шешушісі
Frequency
2
Description
English Description
A solver that computes answer sets for logic programs.
Russian Description
-
Kazakh Description
-