Ecosyste.ms: Packages

python 20 first-order-logic 8 circuit 7 prolog 7 programming 6 database 5 math 5 machine-learning 5 fuzzy 5 inference 5 semantics 4 boolean 4 and 4 mathematics 4 language 4 ltlf 3 ldlf 3 propositional-logic 3 arithmetic 3 theorem prover 3 graph 3 satisfiability 3 algebra 3 deep-learning 3 planning 3 STRIPS 3 RDDL 3 python3 3 digital 3 simulation 3 truth 3 table 3 truth table 3 reasoning 3 probabilistic 3 truth-table 2 truth-table-generator 2 boolean expression 2 explainable-ai 2 propositional logic 2 neural-networks 2 cnf 2 conditional 2 gate 2 truth-tables 2 prover 2 symbolic 2 sat-solver 2 rule 2 business 2 epistemic 2 automated-planning 2 functional-strips 2 logic-gates 2 logic-circuit 2 data-structures 2 strips 2 artificial intelligence 2 artificial-intelligence 2 natural-language-understanding 2 bdd 2 expression 2 circuits 2 expression parser 2 parse 2 tree 2 Teaching Logic 2 Educational Software 2 proof-assistant 2 play 2 with 2 younger 2 members 2 of 2 family. 2 interpreter 2 sentence 2 neural 2 temporal logic 2 pytorch 2 automata 2 neural-network 2 comparison 2 evaluation 2 proof 2 formula 2 binary decision diagram 2 artificial 2 intelligence 2 testing 2 not 2 api 2 or 2 formal-logic 2 research 2 linear-temporal-logic 2 ltl 2 science 2 temporal-logic 2 Simple 2