Z3 is an efficient Satisfiability Modulo Theories (SMT) solver from Microsoft Research. Z3 is a solver for symbolic logic, a foundation for many software engineering tools. SMT solvers rely on a tight ...

This repository features AI-based game projects (Tic-tac-toe, Checkers, Sudoku solver) developed as part of the CS 235 course (optional).

Abstract: We present a web-based solver to readily compute the parameters governing the "swelling" (expansion) of super-absorbent polymers, which can absorb about 1 thousand times its weight of water, ...

We’ve all surely been baffled by the Rubik’s Cube at some point in our lives, left frustrated at a failure to complete it. But hard as it might seem to believe, solving one of the world’s most famous ...

Abstract: Interpolating provers have a number of applications in formal verification, including abstraction refinement and invariant generation. It has proved difficult, however, to construct ...

Static Driver Verifier (SDV) is a verification tool included in the Windows 7 Driver Kit (WDK). SDV uses SLAM as the program analysis engine. SDV 2.0 released with Windows 7 uses a re-designed SLAM2 ...