See https://cacm.acm.org/magazines/2023/6/273222-the-silent-revolution-of-sat/fulltext and also modern production rules engines like https://drools.org/ Oddly, back when “expert system shells” were cool people thought 10,000 rules were difficult to handle, now 1,000,000 might not be a problem at all. Back then the RETE algorithm was still under development and people were using linear search and not hash tables... - Source: Hacker News / 6 months ago

Drools – an open-source business rule management system that allows developers to create and manage complex decision logic. Source: about 1 year ago

- Drools - Available in JVM environments (Java, Scala and similar) - uses FEEL for expression language. Source: about 1 year ago

GoRules is a modern, open-source rules engine designed for high performance and scalability. Our mission is to democratise rules engines and drive early adoption. Rules engines are very useful as they allow business users to easily understand and modify core business logic with little help from developers. You can think of us as a modern, less memory-hungry version of Drools that will be available in many... Source: about 1 year ago

Is this something like Drools? It's quite uncommon but it is used in situations where certain sets of business rules change a lot and you want business analysts to be able to quickly change them in a simple graphical UI. Source: over 2 years ago

If you are not so concerned about the pinouts, the ODROIDs are excellent and generally in stock if you buy them from hardkernel.com. They are similar prices but a bit more powerful, although some (such as the M1) are quite big. I ended up buying some ODROIDs as alternatives and they worked out ok where I didn't need a Pi camera or hat. In the future I'll probably move more towards ODROIDs because of the power and... Source: over 1 year ago