Changelog

v1.0.0

• Paramita Interfaces v2 (see the interfaces changelog).

Warning

Plugins compiled with interfaces version v1 are not compatible with Paramita version v1.0.0.

• Added constructor with kwargs to SolvingBudget (e.g. SolvingBudget(num_conflicts=X)).
• Disabled __getattr__ and __dir__ for plugins (in future releases this will be added back).
• Allow to load any plugin class (new: Plugin, ClauseContainer, WClauseContainer).

v0.0.1

• Initial public release.
• Paramita Interfaces v1.