jamesbornholt/z3-ios jamesbornholt/z3-ios

  • Stars
    star
    35
  • Rank 735,555 (Top 15 %)
  • Language SMT
  • License
    MIT License
  • Created over 5 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jamesbornholt/z3-ios
github

jamesbornholt

Reviews

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

Repository Details

run z3 on iOS for some reason

More Repositories

1

ocelot

A synthesis-enabled solver for relational logic
Racket
28
star
2

plotty

plots stuff
Python
22
star
3

rustsat

a toy Rust SAT solver
Rust
5
star
4

topauthors

Top conference authors
Python
3
star
5

quivela

Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
Python
3
star
6

homepage

academic homepage? zzzzzz
HTML
3
star
7

sympro-ui

Symbolic profiling front-end
JavaScript
2
star
8

mipso

it's mipso, a mips simulator! mips, architecture of the future
Go
2
star
9

comp1140-talk

a talk i gave about verification
Racket
1
star
10

election2010results

Quickly hacked together to visualise some Australian election 2010 results by polling booth
PHP
1
star
11

gosat

stupid SAT solver written in go
Go
1
star
12

docker-latex

LaTeX docker image for building papers
1
star
13

sigplan-template

my template for sigplanconf latex papers
TeX
1
star
14

dnastorage-www

Our ASPLOS'16 DNA Storage paper in HTML
HTML
1
star