quantifiers

There are 0 repository under quantifiers topic.

• viperproject / axiom-profiler-2

  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

  axiominstantiationprofilerquantifierssmtz3e-matching
  Language:Rust 8

• rangoo94 / object-regexp

  Match regular expressions on list of objects

  regular-expressionquantifiersregexpobjectsjs-engineformulaparser
  Language:JavaScript 2

• RaviRam-Gummuluri / Discrete-Math

  This repo contains all the solutions to assignments of Discrete Mathematics coursework which can be used as tools

  cnfdiscrete-mathematicsdnfinferencequantifiers
  Language:Python 1

• stefanDeveloper / inference

  Quantifiers and monotonicity in reasoning tasks

  inferencemonotonicityquantifiersheidelberg-university
  Language:Jupyter Notebook 1

• beatrizslan / Projeto-Alura-Expressoes-Regulares

  Aprendendo a criar Expressões Regulares eficientes durante o curso de Front-end da Alura.

  expressao-regularjavascriptquantifiersregexregexp
  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

  a-staradlconditional-statementsheuristicspddlplanningquantifiersstripstaxitaxi-app
  Language:PDDL 0

• Leo-Henrique / cartao-interativo

  Criação de um cartão digital com validações rigorosas utilizando RegEx.

  character-classflagsjavascriptlookaheadlookbehindquantifiersregexregex-matchregex-replacescssvanilla-javascript
  Language:SCSS 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

  discrete-mathematicsinductionintegersquantifiersrelationssets

• swayampandey / UserRegistration

  User Registration System needs to ensure all validations are in place during the User Entry

  javacharacterclassesmatcherpatternquantifiersregex
  Language:HTML

• swayampandey / UserRegistration1

  swayampandey/UserRegistration

  javamatcherpatternsquantifiersregex
  Language:Java