Debugging a Logic Circuit in IDP-Z3

4 points | by todsacerdoti 13 hours ago