Описание тега picosat
PicoSAT - это SAT-решатель с обширным API.
1
ответ
Picosat SAT solver: установить предел распространения - но какое значение?
Из API: /* As alternative to a decision limit you can use the number of propagations * as limit. This is more linearly related to execution time. This has to * be called after 'picosat_init' and before 'picosat_sat'. */ void picosat_set_propagation_…
09 ноя '13 в 00:33
2
ответа
Haskell: привязка к быстрому и простому решению SAT
Сегодня я тоже хотел изучить варианты решения SAT в haskell. Сначала я подумал о том, чтобы написать свой собственный интерфейс для решения Picosat. Потом я узнал, что есть библиотека SBV. Это интерфейсы для Z3, Yices, CVC4 и Boolector. Кроме того, …
04 янв '14 в 21:24