-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtest_chapter02.py
executable file
·55 lines (42 loc) · 1.39 KB
/
test_chapter02.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
# This file is part of the materials accompanying the book
# "Mathematical Logic through Python" by Gonczarowski and Nisan,
# Cambridge University Press. Book site: www.LogicThruPython.org
# (c) Yannai A. Gonczarowski and Noam Nisan, 2017-2021
# File name: test_chapter02.py
"""Tests all Chapter 2 tasks."""
from propositions.semantics_test import *
from propositions.reductions_test import *
def test_task1(debug=False):
test_evaluate(debug)
def test_task2(debug=False):
test_all_models(debug)
def test_task3(debug=False):
test_truth_values(debug)
def test_task4(debug=False):
test_print_truth_table(debug)
def test_task5(debug=False):
test_is_tautology(debug)
test_is_contradiction(debug)
test_is_satisfiable(debug)
def test_task6(debug=False):
test_synthesize_for_model(debug)
def test_task7(debug=False):
test_synthesize(debug)
def test_task8(debug=False):
test_synthesize_for_all_except_model(debug)
def test_task9(debug=False):
test_synthesize_cnf(debug)
def test_task10(debug=False):
test_graph3coloring_to_formula(debug)
test_assignment_to_3coloring(debug)
test_tricolor_graph(debug)
test_task1(True)
test_task2(True)
test_task3(True)
test_task4(True)
test_task5(True)
test_task6(True)
test_task7(True)
#test_task8(True) # Optional
#test_task9(True) # Optional
#test_task10(True) # Optional