11 Commits

Author	SHA1	Message	Date
NotXia	1cd91f0483	Add CDMO2 FOL	2024-04-11 21:20:17 +02:00
NotXia	400dfd1e20	Fix cropped pdfs <noupdate>	2024-03-29 11:01:58 +01:00
NotXia	c12d00dfab	Split CDMO into modules	2024-03-21 21:22:16 +01:00
NotXia	e360ecad1d	Add CDMO SAT encoding	2024-03-21 21:18:56 +01:00
NotXia	bf94726c3a	Add CDMO CDCL	2024-03-15 17:03:33 +01:00
NotXia	79fd2b6fad	Add CDMO SAT resolution and DPLL	2024-03-14 21:13:04 +01:00
NotXia	35351cc533	Fix typo	2024-03-07 08:27:41 +01:00
NotXia	156827bc83	Fix missing margin notes	2024-03-01 15:34:25 +01:00
NotXia	a41293d415	Add CDMO search	2024-03-01 15:29:26 +01:00
NotXia	173e4db51c	Add CDMO constraints	2024-02-29 22:11:36 +01:00
NotXia	80deb12a2c	Add CDMO constraint programming modeling	2024-02-23 15:30:17 +01:00