GitHub | Ecosyste.ms: Repos

test-network-function/cnf-certsuite-operator

CNF Certification Suite Operator

Language: Go - Size: 479 KB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 0 - Forks: 3

pindakaashq/pindakaas

A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

Language: Rust - Size: 690 MB - Last synced: 8 days ago - Pushed: 9 days ago - Stars: 1 - Forks: 1

LesFacilitateurs/awesome-telco-cloud

A curated list of Telco Cloud ecosystem projects and resources ☁️

Size: 140 KB - Last synced: 2 days ago - Pushed: 10 days ago - Stars: 9 - Forks: 1

omec-project/upf

4G/5G Mobile Core User Plane

Language: Go - Size: 7.32 MB - Last synced: 6 days ago - Pushed: 15 days ago - Stars: 157 - Forks: 99

cnti-testcatalog/testsuite

📞📱☎️📡🌐 Cloud Native Telecom Initiative (CNTI) Test Catalog is a tool to check for and provide feedback on the use of K8s + cloud native best practices in networking applications and platforms

Language: Mustache - Size: 31.2 MB - Last synced: 19 days ago - Pushed: 22 days ago - Stars: 169 - Forks: 70

cncf/cnf-testsuite

CNF Test Suite is now part of the Cloud Native Telcom Initiatives Test Catalog @ https://github.com/cnti-testcatalog/testsuite

Size: 1.95 KB - Last synced: 17 days ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

cncf/cnf-certification

CNF Certification is now part of the Cloud Native Telcom Initiative's test catalog focus area @ https://github.com/lfn-cnti/certification

Size: 3.91 KB - Last synced: 17 days ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

cncf/cnf-wg

# CNF Working Group (WG) is now part of the Cloud Native Telcom Initiative @ https://github.com/lfn-cnti/bestpractices

Size: 1000 Bytes - Last synced: 17 days ago - Pushed: 4 months ago - Stars: 2 - Forks: 0

meelgroup/breakid

BreakID, a CNF symmetry-breaking library and tool

Language: C++ - Size: 539 KB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 4 - Forks: 1

SAT-X is a language for constrained optimization and decision problems over positive integers, that work with any SAT Competition standard SAT solver. Is based on Python, and is ase to learn and easy to use with all technologies associated to this language.

Language: Python - Size: 73 MB - Last synced: 23 days ago - Pushed: almost 2 years ago - Stars: 5 - Forks: 1

maxtuno/problem-solving-book

Problem Solving: A Practical Workbook

Language: Jupyter Notebook - Size: 5.09 MB - Last synced: 23 days ago - Pushed: over 4 years ago - Stars: 6 - Forks: 0

maxtuno/CircuitSAT

A Circuit SAT language that emit CNF code.

Language: Python - Size: 2.08 MB - Last synced: 23 days ago - Pushed: almost 2 years ago - Stars: 3 - Forks: 0

geekabhinav007/TOC-Short

In this Repo you can find CheatSeat for Theory of Computation and last minutes notes for your semester.

Size: 3.65 MB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

meelgroup/arjun

CNF minimizer and minimal independent set calculator

Language: C++ - Size: 496 KB - Last synced: 30 days ago - Pushed: 30 days ago - Stars: 12 - Forks: 1

GridSAT/CNF_FACT-MULT

CNF Generator for Factoring Problems

Language: Haskell - Size: 8.37 MB - Last synced: 24 days ago - Pushed: 2 months ago - Stars: 2 - Forks: 0

meelgroup/SBVA Fork of hgarrereyn/SBVA

Structured BVA CNF rewriter

Language: C++ - Size: 3.14 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

msoos/cryptominisat

An advanced SAT solver

Language: C++ - Size: 58.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 788 - Forks: 179

BaseMax/CFG2CNF

Python program to convert a Context Free Grammar to Chomsky Normal Form.

Language: Python - Size: 254 KB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 8 - Forks: 1

Nordix/Meridio

Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks

Language: Go - Size: 4.94 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 44 - Forks: 9

unlenen/onap-api

UNLENEN ONAP API

Language: Java - Size: 253 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 2

ZaydH/spur

SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)

Language: C++ - Size: 131 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 7 - Forks: 1

stp/stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

Language: C++ - Size: 33.1 MB - Last synced: about 2 months ago - Pushed: 5 months ago - Stars: 482 - Forks: 129

maxtuno/slime-sat-solver

A Free World Class High Performance SAT Solver

Language: JavaScript - Size: 285 MB - Last synced: 23 days ago - Pushed: almost 3 years ago - Stars: 20 - Forks: 1

gw-tester/pgw

PDN Gateway CNF example

Language: Go - Size: 85.9 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0

cipherboy/cmsh

High-level interfaces over @msoos's CryptoMiniSat.

Language: Python - Size: 357 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 8 - Forks: 0

Azgmohammadd/LatexToCNF

python cli program to convert latex input to CNF.

Language: Python - Size: 24.4 KB - Last synced: 9 days ago - Pushed: 3 months ago - Stars: 6 - Forks: 0

cncf/cnf-testbed

ARCHIVED: 🧪🛏️Cloud-native Network Function (CNF) Testbed --> See LFN Cloud Native Telecom Initiative https://wiki.lfnetworking.org/pages/viewpage.action?pageId=113213592

Language: Shell - Size: 11.2 MB - Last synced: 17 days ago - Pushed: 4 months ago - Stars: 162 - Forks: 51

sneeuwballen/zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Language: OCaml - Size: 29.2 MB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 120 - Forks: 19

Reinforz/fauton

An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)

Language: TypeScript - Size: 6.28 MB - Last synced: 19 days ago - Pushed: about 1 year ago - Stars: 42 - Forks: 3

meelgroup/cmsgen

CMSGen, a fast weighted uniform-like sampler

Language: C++ - Size: 46.5 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 8 - Forks: 3

omnp/shiny-spoon

3-CNF-SAT (toy) solver

Language: Python - Size: 366 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

vaibhavkarve/normal-form

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

Language: Python - Size: 941 KB - Last synced: 9 days ago - Pushed: 9 months ago - Stars: 2 - Forks: 0

raghusaripalli/Database-System-Implementation

DB implementation - Heap file, Sorted file, RelOps, Query Engine - systems programming

Language: C++ - Size: 12.2 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0

m4r1k/k8s_5g_lab

5G Telco Lab based on OpenShift

Language: Shell - Size: 13.2 MB - Last synced: 3 months ago - Pushed: about 3 years ago - Stars: 42 - Forks: 22

meelgroup/bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

Language: C++ - Size: 566 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 61 - Forks: 18

mishun/minisat-rust

Experimental minisat SAT solver reimplementation in Rust

Language: Rust - Size: 9.74 MB - Last synced: 2 days ago - Pushed: almost 5 years ago - Stars: 71 - Forks: 6

torland-klev/sat-solver 📦

Automatically checks whether a given propositional formula is satisfiable.

Language: Java - Size: 41 KB - Last synced: 5 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

NicholasLiem/IF2124_TugasBesar_JavaScriptParser

Tugas ini merupakan salah satu tugas besar matakuliah IF2124 Teori Bahasa Formal dan Automata yang berfokus pada pengaplikasian Context Free Grammar (CFG), Chomsky Normal Form (CNF), dan Algoritma CYK (Cocke-Younger-Yagami) untuk melakukan parsing terhadap bahasa pemrograman JavaScript.

Language: Python - Size: 372 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 2

hellman/Quine-McCluskey

DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm

Language: C++ - Size: 5.4 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 7 - Forks: 0

touhi99/Parsing

Parsing Course Project - A CYK implementation with CNF

Language: Python - Size: 5.86 KB - Last synced: 6 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 1

fmonaco96/sfc-k8s

A system to enable scalable SFCs in Kubernetes

Language: Python - Size: 133 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 5 - Forks: 0

tristancorbellari/boolean-algebra-eval

A Python OOP implementation of a boolean algebra evaluator for valid CNFs/DNFs.

Language: Python - Size: 6.84 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

j-danner/2xnf_sat_solving

Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

Size: 1000 Bytes - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

nikos912000/chomsky-normal-form

Convert a Context Free Grammar (CFG) to Chomsky Normal Form (CNF)

Language: Python - Size: 121 KB - Last synced: 4 months ago - Pushed: almost 10 years ago - Stars: 20 - Forks: 24

schadal1/DFS_CNF_SAT_Problem

The CNF-SAT problem is: Given a logical expression in Conjunctive Normal Form, is there a truth assignment for the variables which causes the CNF expression to be true? Answer is yes, if there is an assignment that makes all the clauses evaluate to T (true). Use a depth first search algorithm for solving the problem. After you assign values to all n variables check all the clauses to see if the assignment solves the problem. If it does check whether you have case 1, 2 or 3 and decide whether to print the solution. Note that the call tree for the algorithm is the same as the state space tree.Use a depth first search algorithm for solving the problem. After you assign values to all n variables check all the clauses to see if the assignment solves the problem. If it does check whether you have case 1, 2 or 3 and decide whether to print the solution. Note that the call tree for the algorithm is the same as the state space tree.Use a depth first search algorithm for solving the problem. After you assign values to all n variables check all the clauses to see if the assignment solves the problem. If it does check whether you have case 1, 2 or 3 and decide whether to print the solution. Note that the call tree for the algorithm is the same as the state space tree.Use a depth first search algorithm for solving the problem. After you assign values to all n variables check all the clauses to see if the assignment solves the problem. If it does check whether you have case 1, 2 or 3 and decide whether to print the solution. Note that the call tree for the algorithm is the same as the state space tree.

Language: C - Size: 229 KB - Last synced: 7 months ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

schadal1/DFS_CNS_SAT_Problem-Using-Recursive-Algorithm

The CNF-SAT problem is: Given a logical expression in Conjunctive Normal Form, is there a truth assignment for the variables which causes the CNF expression to be true? Answer is yes, if there is an assignment that makes all the clauses evaluate to T (true).

Language: C - Size: 3.91 KB - Last synced: 7 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

CyberZHG/parse-toys

Parsing toys

Language: Python - Size: 27.3 KB - Last synced: 8 months ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1

ritu-thombre99/Solving-CNF-SAT-using-DPLL

This program checks if an input CNF is satisfiable or not to check logical entailment.

Language: Jupyter Notebook - Size: 666 KB - Last synced: 8 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

marccane/SAT-IT

Visual and interactive tool to visualize, learn about, and step through the resolution of SAT CNF formulas

Language: Java - Size: 29.1 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 1

ahmad-elassuty/Unification-and-CNF-Converter-Project

University Unification and CNF Converter Project

Language: Ruby - Size: 45.9 KB - Last synced: 9 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

maxtuno/SLIME

SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.

Language: C++ - Size: 12.5 MB - Last synced: 23 days ago - Pushed: almost 1 year ago - Stars: 5 - Forks: 0

CurtisFenner/cnf-solver

A small CNF-SAT solver implementing simple conflict driven clause learning (CDCL) and a simple branching heuristic.

Language: Lua - Size: 24.4 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

julianthome/ctrans

Basic constraint transformation library

Language: Java - Size: 34.2 KB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 8 - Forks: 3

avivnark/CNFAssignment_2020

SAT solver is needed

Language: Java - Size: 2.93 KB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

alpeshkumar9/CNF-DNF-Transformer

Convert Normal Form to CNF & DNF using regex in Python

Language: Python - Size: 1000 Bytes - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

timbeurskens/gobdd

An ROBDD & CDCL based SAT solver

Language: Go - Size: 359 KB - Last synced: 11 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

zyx-billy/dpll-sat

A DPLL-based SAT solver focused on traceability

Language: C++ - Size: 29.3 KB - Last synced: 6 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

vsklad/cgen

CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.

Language: C++ - Size: 234 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 21 - Forks: 5

hselasky/libhpsat

Library for working with binary logic and satisfiability equations

Language: C++ - Size: 181 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 1 - Forks: 0

kaleb-asfaw/CNF-Solver

Solves problems that are in conjunctive normal form (CNF)

Language: Python - Size: 34.2 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

cynthi8/convert_to_3sat

Convert SAT CNF files to 3SAT version

Language: Python - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

hellman/optimodel

A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)

Language: Python - Size: 118 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 1

PhonePe/mustang

Search engine for Rules - Indexing boolean expressions at scale

Language: Java - Size: 808 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 5

night-crawler/nnf

Negation Normal Form manipulation library

Language: Rust - Size: 30.3 KB - Last synced: 2 days ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

ysharplanguage/CJ2

CJ^2 Algorithm

Language: C# - Size: 248 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

phoenix-254/sqlike

COP6726 - Database System Implementation - Database From Scratch

Language: C++ - Size: 3.38 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 3 - Forks: 0

ellisonch/CFGLib

Probabilistic Context Free Grammar (PCFG) Library for C#

Language: C# - Size: 704 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 34 - Forks: 8

kiancross/cnf-prolog 📦

A GNU Prolog programme to convert boolean expressions into CNF.

Language: Prolog - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

ValidUSA/mysql-query-audit 📦

A query audit plugin for MySQL.

Language: C - Size: 30.3 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 3 - Forks: 1

brilacasck/java-language-parser

A simple compiler for parsing java codes and get syntax errors with CYK algorithm for context free grammars (CFG)

Language: Java - Size: 359 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 8 - Forks: 0

avishayts/CNF-Solver_EA

CNF Solver using Evolutionary Algorithm and Parameters search.

Language: Python - Size: 547 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

jakublevy/glucose-win

Windows builds for The Glucose SAT Solver.

Language: C++ - Size: 104 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0

maih1/Automata

eNFA - NFA, DFA - DFA minimization, CNF and CKY

Language: Python - Size: 114 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

HDANILO/resolution_method

this program is implemented in C++ and solves simples logic problem using the resolution method

Language: C - Size: 141 KB - Last synced: 10 months ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

tomasort/DPLL_Solver

Simple SAT solver implementation using python. It also includes a BNF to CNF converter

Language: Python - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

unlenen/osm-cnf-generic-creator

Auto Generate VNF and NS packages for helm chart and name

Language: Shell - Size: 6.84 KB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

farbodfld/Genetic-and-Simiulated

This project is done by CNF algorithms

Language: Python - Size: 81.1 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

agr17/polish-to-clingo

Programa en Python para pasar expresiones de lógica en notación polaca a un fichero para ser procesado por la herramienta Clingo.

Language: Python - Size: 26.4 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

sebaFlame/CNFDotnet

Testing out different parser implementations

Language: C# - Size: 82 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

sakateka/plt

Language: Rust - Size: 316 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 2 - Forks: 1

hselasky/hpsat_generate

3-SAT CNF file generator

Language: C++ - Size: 188 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 1

vpozdnyakov/sat_solver_resolution

SAT-solver based on resolution method in 2-CNF using PLY

Language: Python - Size: 19.5 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 7 - Forks: 1

A-Bak/cfg-to-cnf

Tool for converting context-free grammars (CFG) to Chomsky Normal Form (CNF)

Language: Haskell - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

madebypixel02/Openssl-Practices-2022

[Uc3m] Welcome to the Open Secure Sockets Layer

Size: 330 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

meelgroup/gaussmaxhs

GaussMaxHS, a CNF+XOR MaxSAT solver

Language: C++ - Size: 307 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 1

SleekPanther/3-sat-certifier

A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem

Language: Java - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 1

muneeb706/sudoku-solver

A program which will read a sudoku puzzle from a file (some examples are sudoku1.txt, sudoku2.txt, etc) and generate clauses in the DIMACS format for each sudoku puzzle in the files sudokuN.cnf, where N = 1, 2, ..., 5.

Language: Python - Size: 2.03 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

GavinPHR/SAT-with-Haskell

Haskell Implementation of DPLL + Sudoku with SAT

Language: Haskell - Size: 2.22 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

jcwleo/DPLL-Algorithm

implementing DPLL Algorithm

Language: Python - Size: 91.8 KB - Last synced: 4 months ago - Pushed: over 6 years ago - Stars: 4 - Forks: 2

gw-tester/v1

GW Tester demo initial version

Language: Shell - Size: 518 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 1

akito19/hadder

An adder that outputs DIMACS form.

Language: Haskell - Size: 2.02 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

tqma113/cyk

A parser of CYK for CNF(Chomsky Normal Form) by Rust.

Language: Rust - Size: 67.4 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

msoos/cryptominisat-rs Fork of ltentrup/cryptominisat-rs

CryptoMiniSat rust bindings

Language: Rust - Size: 29.3 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 3

GitHub topics: cnf

meelgroup/SBVA Fork of hgarrereyn/SBVA

torland-klev/sat-solver 📦

kiancross/cnf-prolog 📦

ValidUSA/mysql-query-audit 📦

msoos/cryptominisat-rs Fork of ltentrup/cryptominisat-rs