Block or report user

Report or block liammachado

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. CubeSolver

    Computes the solution to a Rubik's Cube.

    Java

  2. Pong

    Implementation of arcade game PONG.

    Java

  3. PrimeTimer

    Simple speedcubing timer.

    Java

  4. TicTacToe

    Implentation of tic-tac-toe, with optimal tic-tac-toe AI.

    Java

  5. Spreadsheet

    Implementation of spreadsheet program, similar to Microsoft Excel.

    C#

  6. contest

    Some of the programs I have submitted for programming competitions.

    C++

124 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri

Contribution activity

October - December 2018

liammachado has no activity yet for this period.

September 2018

Created an issue in Z3Prover/z3 that received 2 comments

Segmentation fault on basic example

I'm trying to use Z3 tactics when evaluating a basic file: #include <smack.h> int main() { float x = __VERIFIER_nondet_float(); assume(x > 0); asse…

2 comments

Seeing something unexpected? Take a look at the GitHub profile guide.