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

3 Ревизии (ccb51ff1fd0609c1f0d10ba5609964ae6730e5ad)

Автор 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 години