wdomitrz / dp_dpll Goto Github PK
View Code? Open in Web Editor NEWSimple implementation of DP and DPLL algorithms, comparison of performance of selected heuristics and solution of one other exercise - "Artificial intelligence in theorem proving" homework. Note that the implementation is NOT efficient - this was not the goal of this exercise. To do it in more efficent way one could use bitarray.
License: MIT License