mpelleau/AbSolute mpelleau/AbSolute

  • Stars
    star
    29
  • Rank 860,307 (Top 17 %)
  • Language
    OCaml
  • License
    GNU Lesser Genera...
  • Created almost 9 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mpelleau/AbSolute
github

mpelleau

Reviews

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

Repository Details

Constraint solver based on abstract domains

More Repositories

1

these-I3S

TeX
9
star
2

rapport-master

Classe latex pour la rédaction de rapports
TeX
8
star
3

FunCS

A toolbox for fun scientific dissemination in Computer Science
TeX
2
star
4

SEA-2021

Dockerfile
1
star
5

acp-winter2024

ACP Summer School 2024
SCSS
1
star