#

quantifiers

Here are 10 public repositories matching this topic...

viperproject / axiom-profiler-2

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

profiler z3 instantiation smt axiom quantifiers e-matching

Updated Nov 8, 2024
Rust

rangoo94 / object-regexp

Match regular expressions on list of objects

formula parser regexp regular-expression objects quantifiers js-engine

Updated Feb 10, 2018
JavaScript

stefanDeveloper / inference

Quantifiers and monotonicity in reasoning tasks

inference monotonicity heidelberg-university quantifiers

Updated Mar 30, 2021
Jupyter Notebook

RaviRam-Gummuluri / Discrete-Math

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

inference discrete-mathematics cnf dnf quantifiers

Updated Jul 11, 2023
Python

Leo-Henrique / cartao-interativo

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

javascript regex scss vanilla-javascript regex-match regex-replace flags lookahead character-class quantifiers lookbehind

Updated Dec 20, 2022
SCSS

swayampandey / UserRegistration1

swayampandey/UserRegistration

java patterns regex matcher quantifiers

Updated Sep 7, 2022
Java

swayampandey / UserRegistration

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

java pattern regex matcher quantifiers characterclasses

Updated Sep 11, 2022
HTML

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-mathematics induction integers sets relations quantifiers

Updated Oct 11, 2021

beatrizslan / Projeto-Alura-Expressoes-Regulares

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

javascript regex regexp quantifiers expressao-regular

Updated Sep 26, 2022

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

planning a-star taxi-app conditional-statements pddl strips heuristics adl taxi quantifiers

Updated Jan 20, 2024
PDDL

Improve this page

Add a description, image, and links to the quantifiers topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the quantifiers topic, visit your repo's landing page and select "manage topics."