Marta Dรกvila Mateu (@martadavma)
github

martadavma

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 972,962 (Top 34 %)
  • Followers 11
  • Following 2
  • Registered about 8 years ago
  • Most used languages
    Python
         33.3 %
    Java
         33.3 %
    TeX
         16.7 %
    OCaml
         16.7 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 166,811
  • Country Ranking
    OCaml
         956
    TeX
         2,456

Top repositories

1

CSCI570-Summary

Project report for the Final Project of CSCI 570.
TeX
3
star
2

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.
Python
2
star
3

Analysis-of-Algorithms

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

Functional-Programming

USC CSCI 499 Projects
OCaml
1
star
5

SudokuSolver

Python Sudoku Solver using Z3 SMT.
Python
1
star
6

E-Solver

This project is a reimplementation of the E-solver.
Java
1
star