Skip to content
GitLab
Explore
Sign in
Register
combsql
combsqlplus
Issues
#12
string型への対応
z3ではそのままで文字列が扱えないので
文字コードのVectorに変換してz3に投げる
intとの対応テーブルを作成し,z3にはintで投げる