v5.2.1

• Add Model.LookUpTable functions
• Changed default configuration to not add arc-consistency for ITE

Full Changelog: v5.2.0...v5.2.1

v5.2.0

• Updated to CaDiCaL 3.0.0
• Updated to Kissat 4.0.4

Full Changelog: https://github.com/sfiruch/SATInterface/commits/v5.2.0