# sqlformal

**Repository Path**: huanle98615/sqlformal

## Basic Information

- **Project Name**: sqlformal
- **Description**: sssssssssss
- **Primary Language**: Unknown
- **License**: Apache-2.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 1
- **Forks**: 1
- **Created**: 2022-12-26
- **Last Updated**: 2024-02-25

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# sqlEq
A repo for checking SQL equivalent

# z3 update
needs to build on z3 4.6 version:
github link: https://github.com/Z3Prover/z3/releases

# test case
1. check SimpleTest in test/java/SimpleQuery/Tests.