Giters
Vasilis Papavasileiou (vasilisp)

vasilisp

Geek Repo

28

followers

22

following

76

stars

Company:@ahrefs

Location:Athens, Greece

Github PK Tool:Github PK Tool

Vasilis Papavasileiou's repositories

inez

A Constraint Solver

Language:OCamlLicense:MITStargazers:12Issues:7Issues:0

pb-sat

SAT-based Pseudo-Boolean Solver

Language:Common LispLicense:MITStargazers:1Issues:2Issues:0

pub

My academic publications

Stargazers:1Issues:2Issues:0

dotfiles

Language:ShellLicense:UnlicenseStargazers:0Issues:2Issues:0