CSIsatA Tool for LA+EUF Interpolation | |
Download |
CSIsat Ranking & Summary
Advertisement
- License:
- Apache License 2.0
- Publisher Name:
- Dirk Beyer
- Operating Systems:
- Windows All
- File Size:
- 1.7 MB
CSIsat Tags
- keyframe interpolation SAT simple interpolation Linear interpolation point interpolation contours interpolation data interpolation interpolation Parameter Interpolation LA+EUF Interpolation SAT solver LA+EUF interpolation curve node interpolation spatial interpolation spline interpolation file interpolation areal interpolation Performance interpolation video interpolation
CSIsat Description
CSIsat is an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementation combines the efficiency of linear programming for solving the arithmetic part with the efficiency of a SAT solver to reason about the boolean structure. Take CSIsat for a test drive to see what it can actually do for you!
CSIsat Related Software