[BETA Test]
Каталог штучного інтелекту
Найбільший україномовний каталог інструментів ШІ.
Дослідити каталогСлава Україні! Героям Слава!
🇺🇦 Для українського ринку
Gophersat — це SAT-солвер, написаний мовою Go. Він буде корисним для українських розробників та дослідників, які працюють із задачами логічного виведення та комп'ютерної математики. Інструмент доступний безкоштовно.
Опис
gophersat, a SAT solver in Go
Теги
Рейтинги
Якість50%
Довіра60%
Статистика
Перегляди2
