Currently AWS uses a SMT solver to decide on public/non-public policies

Learn about SMT solvers & see how feasible using a smt solver is for supporting the more minimal policy set in ceph object storage RGW

Looking for hackers with the skills:

c++ s3 smt z3

This project is part of:

Hack Week 19



Be the first to comment!

Similar Projects

HelenOS: <filesystem> of a down by jjindrak

During the previous Hackweek [0], I have succes...

Rewrite transactional-update in C++ by fos

transactional-update, the application to up...

Port some classic game to Linux by MDoucha

Let's pick some old classic game, reverse engin...