Clean up hashbangs
Let Z3 reason directly about face cards
Merge branch 'master' of github.com:eseidel/saycbridge
Teach the bot to respond to Gerber
Clean up Gerber responses a bit
Fixing adam's super long lines
Merge branch 'master' of github.com:eseidel/saycbridge
That line breaking was wrong
Don't skip intermediate class constructor
Tighten up response to only apply immediately after an openning
Removed unneed precondition
Rename sat wrapper to have consistent naming
Learn how to pass in competition over stayman
Learn how to use X when stayman response is stolen
Learn how to bid stayman when the opponents try to steal it
Clean up rule selector interfaces and memoization
Merge branch 'master' of github.com:eseidel/saycbridge
More rule selector cleanup
Be specific about which theory we're using
Don't depend on defaults in building history