Skip to content
View martadavma's full-sized avatar
9 followers · 2 following

Block or report martadavma

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
martadavma/README.md
  • 👋 Hi, I’m @martadavma
  • I’m interested in Programming Languages Theory and Formal Methods.
  • I’m looking to collaborate on research projects related to SAT/SMT Solvers, Automated Reasoning, Program Synthesis, and related fields.
  • You can get to know me better and find my contact information by visiting martadavma.com.

Pinned Loading

  1. SudokuSolver SudokuSolver Public

    Python Sudoku Solver using Z3 SMT.

    Python 1

  2. PigeonholePrinciple PigeonholePrinciple Public

    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.

    Python 2

  3. Functional-Programming Functional-Programming Public

    USC CSCI 499 Projects

    OCaml 1

  4. Computational-Complexity Computational-Complexity Public

    CSCI 599 - Computational COmplexity

    TeX

  5. Analysis-of-Algorithms Analysis-of-Algorithms Public

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

    Java 2

  6. E-Solver E-Solver Public template

    This project is a reimplementation of the E-solver.

    Java 1