Решатель множества ответов

method ID: answersetsolver

Детали сущности

Основная информация

ID сущности

answersetsolver

Тип сущности

Method

Английская метка

Answer Set Solver

Русская метка

Решатель множества ответов

Казахская метка

Жауап жиыны шешушісі

Частота

2

Описание

Английское описание

A solver that computes answer sets for logic programs.

Русское описание

-

Казахское описание

-