Topic: "quantifiers"
viperproject/smt-scope
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
Language: Rust - Size: 171 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 24 - Forks: 3
rangoo94/object-regexp
Match regular expressions on list of objects
Language: JavaScript - Size: 160 KB - Last synced at: 28 days ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0
stefanDeveloper/inference
Quantifiers and monotonicity in reasoning tasks
Language: Jupyter Notebook - Size: 2.14 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1
sujabdul/cs-regex-hex-tutorial
Hexadecimal Regex Tutorial 🎨 Understand how regex validates hexadecimal color codes
Size: 1.95 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
francomano/planning_taxi_domain
A taxi domain modeled in PDDL. The objects in the chosen domain are taxis, people, and sidewalks. Taxis can park along a sidewalk or double-park and can move from one sidewalk to another
Language: PDDL - Size: 40 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Leo-Henrique/cartao-interativo
Criação de um cartão digital com validações rigorosas utilizando RegEx.
Language: SCSS - Size: 274 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
beatrizslan/Projeto-Alura-Expressoes-Regulares
Aprendendo a criar Expressões Regulares eficientes durante o curso de Front-end da Alura.
Size: 30.3 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
swayampandey/UserRegistration
User Registration System needs to ensure all validations are in place during the User Entry
Language: HTML - Size: 26.4 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
swayampandey/UserRegistration1
swayampandey/UserRegistration
Language: Java - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
paulinho-16/MIEIC-MDIS
Todo o conteúdo produzido para a unidade curricular MDIS (Matemática Discreta), para o curso em Engenharia Informática e Computação na FEUP
Size: 7.5 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
