Ecosyste.ms: Packages

python 20 first-order-logic 8 circuit 7 prolog 7 programming 6 inference 5 fuzzy 5 math 5 database 5 machine-learning 5 language 4 and 4 boolean 4 mathematics 4 graph 3 ldlf 3 propositional-logic 3 ltlf 3 digital 3 simulation 3 deep-learning 3 reasoning 3 algebra 3 python3 3 arithmetic 3 satisfiability 3 truth table 3 truth 3 probabilistic 3 table 3 semantics 3 planning 3 STRIPS 3 RDDL 3 science 2 research 2 data-structures 2 circuits 2 boolean expression 2 board 2 logic-circuit 2 logic-gates 2 sentence 2 or 2 not 2 interpreter 2 amr 2 nlp 2 specification 2 symbolic 2 nnf 2 first-order 2 Teaching Logic 2 Educational Software 2 proof-assistant 2 fun 2 Simple 2 modeling 2 optimization 2 truthtable 2 tag 2 bdd 2 neural 2 expression 2 parse 2 proof 2 artificial 2 intelligence 2 prover 2 truth-table 2 truth-table-generator 2 testing 2 formal-logic 2 expression parser 2 artificial intelligence 2 artificial-intelligence 2 natural-language-understanding 2 comparison 2 evaluation 2 ai 2 theorem prover 2 tree 2 truth-tables 2 probabilistic-programming 2 neural-networks 2 family. 2 of 2 members 2 younger 2 with 2 play 2 to 2 gate 2 automated-planning 2 api 2 datastructures 2 logic-programming 2 temporal-logic 2 conditional 2 explainable-ai 2