@whitequark opinions on cvc5? Others?
Catalan hacker, security researcher and mathematician with a strong bias towards software security and reverse engineering.Specialized in software protection research and development (obfuscation, cryptography, mixed boolean-arithmetic algebra, binary polynomials, etc.) from a dual attack-and-defense perspective both in academia and industry.Founder @furalabs.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.