jamesbornholt/rustsat jamesbornholt/rustsat

  • Stars
    star
    5
  • Rank 2,808,350 (Top 57 %)
  • Language
    Rust
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jamesbornholt/rustsat
github

jamesbornholt

Reviews

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

Repository Details

a toy Rust SAT solver

More Repositories

1

z3-ios

run z3 on iOS for some reason
SMT
35
star
2

ocelot

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

plotty

plots stuff
Python
22
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