props

这是一个关于命题的计算器/支持not(~),and(/\),or(\/),implies(->),double implies(<->).

如果你选修清华大学计算机相关课程，并且正在做与本仓库相同的作业，请先自己实现后再参考。在课程允许参考的前提下，参考本仓库后，务必在 README 和代码注释中记录参考本仓库的内容。

基于CMake编译.需要Flex和Bison的环境.

Licensed under GNU General Public License v3.0

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.gitignore		.gitignore
AUTHORS		AUTHORS
CMakeLists.txt		CMakeLists.txt
COPYING		COPYING
README.md		README.md
expression.c		expression.c
expression.h		expression.h
grammar.ebnf		grammar.ebnf
lexer.c		lexer.c
lexer.h		lexer.h
lexer.l		lexer.l
main.cpp		main.cpp
parser.c		parser.c
parser.h		parser.h
parser.y		parser.y
prop.cpp		prop.cpp
prop.h		prop.h
test.cpp		test.cpp

Provide feedback