Working with SMT solver
Budget: $5 – $30 USD
You'd participate on implementing and testing versions on an SMT solver that handles a specific combinatorial problem. We use z3-solver. Pre knowledge on this python modul would be great, but not required. However, it's required that you understand the description in the .pdf-file attached and grasp a bit of what's going on in the code in this colab: https://colab.research.google.com/drive/1MISjyv8lz7oDSjaRCJzFDp7lCap-OmmA?usp=sharing.
As we're using only basic functionalities of z3-solver, you can familiarize in few hours of your work if you have proper affinity for this challenge.
As we're using only basic functionalities of z3-solver, you can familiarize in few hours of your work if you have proper affinity for this challenge.