Начало Каталог Помощ
Вход
lu
/
lp
огледало от git://github.com/heyLu/lp
Наблюдаван 1
Харесван 0
Разклонения 0
Код Задачи 0 Ревизии 661 Версии 1 Уики
ИН на ревизия: a65348d504
Клонове Маркери

3 Ревизии (a65348d504fc0e2b5d9434740cf9078a7e848cb5)

Автор SHA1 Съобщение Дата
  Lucas Stadler d052a48bd9 link the dpll source from the readme преди 10 години
  Lucas Stadler 9476b08a70 mention the dpll solver in the readme, document usage преди 10 години
  Lucas Stadler 318fefac2e mv dpll solve преди 10 години