1.3.1

Removed async timeout from CoreComputer

• The new improved timeout functionality works without the need for async functions while retaining a similar ability to interrupt the MUS computation
• This is mainly useful for easier integration into async frameworks (like FastAPI)

Additions to AssumptionPreprocessor

• The AssumptionPreprocessor class has now a process_files method