cnf

There are 138 repositories under cnf topic.

  • msoos/cryptominisat

    An advanced SAT solver

    Language:C++84028624191

  • stp/stp

    Simple Theorem Prover, an efficient SMT solver for bitvectors

    Language:C++53633313130

  • omec-project/upf

    4G/5G Mobile Core User Plane

    Language:Go19421106108

  • lfn-cnti/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:Mustache18072

  • 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:Shell1644332245

  • 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:OCaml139106317

  • mishun/minisat-rust

    Experimental minisat SAT solver reimplementation in Rust

    Language:Rust71266

  • meelgroup/bosphorus

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

    Language:C++6963718
  • Meridio

    Nordix/Meridio

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

    Language:Go4862009

  • m4r1k/k8s_5g_lab

    5G Telco Lab based on OpenShift

    Language:Shell464024

  • Devorein/fauton

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

    Language:TypeScript410142

  • ellisonch/CFGLib

    Probabilistic Context Free Grammar (PCFG) Library for C#

    Language:C#39229

  • 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++25266

  • nikos912000/chomsky-normal-form

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

    Language:Python211023
  • slime-sat-solver

    maxtuno/slime-sat-solver

    A Free World Class High Performance SAT Solver

    Language:JavaScript20301

  • LesFacilitateurs/awesome-telco-cloud

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

    18201

  • meelgroup/arjun

    CNF minimizer and minimal independent set calculator

    Language:C++184125

  • hellman/Quine-McCluskey

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

    Language:C++14201

  • PhonePe/mustang

    Search engine for Rules - Indexing boolean expressions at scale

    Language:Java11806

  • BaseMax/CFG2CNF

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

    Language:Python9321

  • vpozdnyakov/sat_solver_resolution

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

    Language:Python9201

  • brilacasck/java-language-parser

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

    Language:Java8300

  • cipherboy/cmsh

    High-level interfaces over @msoos's CryptoMiniSat.

    Language:Python8360

  • julianthome/ctrans

    Basic constraint transformation library

    Language:Java8323

  • meelgroup/cmsgen

    CMSGen, a fast weighted uniform-like sampler

    Language:C++8253

  • Azgmohammadd/LatexToCNF

    python cli program to convert latex input to CNF.

    Language:Python7100

  • Xiaowhite7/Hust_SAT_sudo

    华中科技大学计算机科学与技术学院程序设计

    7100

  • ZaydH/spur

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

    Language:C++7341

  • maxtuno/problem-solving-book

    Problem Solving: A Practical Workbook

    Language:Jupyter Notebook630
  • SLIME

    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++6000

  • fmonaco96/sfc-k8s

    A system to enable scalable SFCs in Kubernetes

    Language:Python5100

  • jakublevy/glucose-win

    Windows builds for The Glucose SAT Solver.

    Language:C++5111

  • maxtuno/SATX

    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:Python5101

  • meelgroup/breakid

    BreakID, a CNF symmetry-breaking library and tool

    Language:C++51111

  • cncf/cnf-wg

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

    Language:Makefile41501

  • j-danner/2xnf_sat_solving

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

    4100