issues
search
hiwane
/
qeconv
Command to convert the format of first-order formulas.
2
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Error:decimal number found
#16
qingyangcx
opened
7 years ago
0
mathematica _
#15
hiwane
opened
8 years ago
0
ファイル名から入出力形式の自動判別
#14
hiwane
opened
8 years ago
0
add smt2 parser
#13
hiwane
closed
8 years ago
0
redlog + ex
#12
hiwane
closed
8 years ago
0
uniop
#11
hiwane
closed
8 years ago
0
rc の `&or`, `&and` は 2 つの引数しかとれない
#10
hiwane
opened
9 years ago
0
geogebra
#9
hiwane
opened
9 years ago
0
synparse.cmd -> convert.CMD
#8
hiwane
closed
9 years ago
0
Convert to .smt2
#7
tungvx
closed
9 years ago
21
qepcad
#6
hiwane
closed
9 years ago
0
redlog
#5
hiwane
closed
9 years ago
0
error report
#4
hiwane
opened
10 years ago
0
listlist
#3
hiwane
closed
10 years ago
0
comment
#2
hiwane
closed
10 years ago
0
lno
#1
hiwane
closed
10 years ago
0