We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent aa997a3 commit c24e328Copy full SHA for c24e328
test/runtests.jl
@@ -1,11 +1,11 @@
1
using FirstOrderLogic
2
using Base.Test
3
4
-# include("test_parser.jl")
5
-# include("test_renamed_quantifiers_form.jl")
6
-# include("test_quantified_variables_form.jl")
7
-# include("test_prenex_normal_form.jl")
8
-# include("test_skolem_normal_form.jl")
9
-# include("test_removed_quantifier_form.jl")
10
-# include("test_conjunctive_normal_form.jl")
+include("test_parser.jl")
+include("test_renamed_quantifiers_form.jl")
+include("test_quantified_variables_form.jl")
+include("test_prenex_normal_form.jl")
+include("test_skolem_normal_form.jl")
+include("test_removed_quantifier_form.jl")
+include("test_conjunctive_normal_form.jl")
11
include("test_resolution.jl")
0 commit comments