What's Changed
* Support grouped operations for better efficiency (default kernel is changed to ``grouped-v2``)
* Add function ``init_constraints`` and variable ``constr_dict`` to support reuse of pre-processed constraints (potentially better efficiency)
**Full Changelog**: https://github.com/Thinklab-SJTU/LinSATNet/compare/0.0.9...0.1.0