aclai-lab / solereasoners.jl Goto Github PK
View Code? Open in Web Editor NEWThis package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.
Home Page: https://aclai-lab.github.io/SoleReasoners.jl/dev/
License: MIT License