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

3 Ревизии (58efe5e8fe0f3d4666fe6594386a1b9354c96b8e)

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