3 Commits

Include renames

Author	SHA1	Message	Date
zenon	9cada7c489	Finish review for QBFs	2020-05-20 17:41:01 +02:00
zenon	d943be5fc1	Finish evaluation for QBFs	2020-05-20 12:30:27 +02:00
zenon	cb49ecc60f	Add first review for QBFs	2020-05-19 23:04:47 +02:00