martadavma/E-Solver

Stars
1
Language
Java
Created over 1 year ago
Updated over 1 year ago

martadavma/E-Solver

martadavma

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

This project is a reimplementation of the E-solver.

CSCI570-Summary

Project report for the Final Project of CSCI 570.

PigeonholePrinciple

This python program takes as input n, and uses z3 SAT solver to proof that if there are n pigeons living in n-1 nests, then at least one nest must contain two or more pigeons.

Analysis-of-Algorithms

Implementation of both the basic Dynamic Programming and the Efficient Divide and Conquer solutions to the Sequence Alignment problem.

Functional-Programming

USC CSCI 499 Projects

SudokuSolver

Python Sudoku Solver using Z3 SMT.