Skip to content
first order logic solver, created in the lecture fol in 2012 at frei universität berlin
OpenEdge ABL Haskell
Find file
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
Data
Folsolver
.DS_Store
.gitignore
LICENSE
Main.hs
README.md
Setup.hs
agatha.out
fol-solver.cabal
output_Course
vl_bsp

README.md

fol-solver

first order logic solver, created in the lecture fol in 2012 at frei universität berlin

Something went wrong with that request. Please try again.