Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 116dd25881 ⚡ prune useless facts when solving. main bog 2024-05-01 23:38:10 +0200
• 0bcd25c693 ⚡ update only look at previous facts iteration. bog 2024-05-01 22:35:03 +0200
• d44b14e159 ⚡ predicate indexing before pattern matching. bog 2024-04-29 23:15:06 +0200
• 6a4c31d401 🐛 used to produce useless facts and rules. bog 2024-04-29 00:43:24 +0200
• bfd64b20b6 ✨ forward chaining v0. bog 2024-04-28 18:23:47 +0200
• fb41410797 ✨ formula to CNF converter. bog 2024-04-25 18:47:45 +0200
• badb08ec05 ✨ parser for formula. bog 2024-04-24 14:40:43 +0200
• 5cecb1f1ed 🎉 ✨ lexer for formula. bog 2024-04-24 10:56:13 +0200
• 36aad850ca Initial commit bog 2024-04-23 16:48:00 +0000