issues
search
bmstu-iu9
/
SMT-to-REF
Чтение модели в строковом языке из SMT-форматов и перекодировка в программу-предикат на Рефале.
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Кодген в ограниченный Рефал
#14
TonitaN
opened
3 years ago
2
translateToCNF падает
#13
TonitaN
opened
3 years ago
3
collapse_asserts работает очень долго на тесте 5
#12
TonitaN
closed
3 years ago
0
Сообщения об успехе/неудаче кодгена в GUI
#11
TonitaN
closed
3 years ago
0
Неправильный вынос предиката "="
#10
ylyxa
closed
3 years ago
5
Readme
#9
TonitaN
opened
3 years ago
0
Кодогенерация по КНФ
#8
TonitaN
closed
1 year ago
5
Кодогенерация по литералам
#7
TonitaN
closed
3 years ago
4
Оптимизации КНФ
#6
TonitaN
opened
3 years ago
3
Чтение пути к файлу из командной строки
#5
TonitaN
closed
3 years ago
1
Построение КНФ на базе SMT-модели
#4
TonitaN
closed
3 years ago
4
Юнит-тесты
#3
TonitaN
opened
3 years ago
5
Сломанный print при использовании необъявленной переменной.
#2
ylyxa
closed
3 years ago
0
Считать корректными только объявленные переменные
#1
TonitaN
closed
3 years ago
5