Bu konuda yazdığım kodları paylaşmayı düşünmüyorum, sadece wiki'de notlar var. Daha çok bilgi için wiki'ye beklerim.. 😁
Edit: İlgili kodları comparison-of-search-algorithms ve solving-satisfaction-problems-with-theorem-provers repo'larımda bulabilirsiniz.