2 ms·
I've been wanting to write a DSL for solving room scheduling problems (and similar) with SAT (i.e. translate to DPLL). Put up a simple front-end, receives text
by thanatropism 7y ago
I've been wanting to write a DSL for solving room scheduling problems (and similar) with SAT (i.e. translate to DPLL). Put up a simple front-end, receives text that gets added to the constraint base.
Your thing seems so much more powerful. I wonder if this UI idea would make it more usable.
(Wait, are we reinventing expert systems?)