nullary and unary ands and ors#96

daniel-larraz merged 3 commits intocvc5:maincvc5/cvc5_pythonic_api:mainfrom

yoni206:01andyoni206/cvc5_pythonic_api:01andCopy head branch name to clipboard