aggelgian/z3erl-terms aggelgian/z3erl-terms

  • Stars
    star
    5
  • Rank 2,779,951 (Top 57 %)
  • Language
    Erlang
  • Created about 9 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aggelgian/z3erl-terms
github

aggelgian

Reviews

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

Repository Details

A translation of Erlang terms to Z3

More Repositories

1

erlang-algorithms

Implementations of popular data structures and algorithms
Erlang
157
star
2

algorithmic-library

A library with algorithms & data structures
Python
6
star
3

cdk-tweet-sentiment

An AWS DynamoDB table with the sentiment of tweets from Twitter search.
TypeScript
3
star
4

smt-solvers

Dockerfile for Z3 and CVC4
1
star