search

hiwane / qeconv

Command to convert the format of first-order formulas.
2 stars 3 forks source link

ファイル名から入出力形式の自動判別 #14

Open hiwane opened 8 years ago