Skip to content
View chivdan's full-sized avatar
2 followers · 1 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report chivdan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

meelgroup / KCBox

A toolbox for knowledge compilation

C++ 27 5 Updated Nov 25, 2025

jia-kai / minisatcs

Forked from niklasso/minisat

A minimalistic and high-performance SAT solver

C++ 4 2 Updated Jun 30, 2022

ctlab / evoguess

Component EvoGuess v2.1 for finding decomposition sets and estimating hardness of SAT instances.

Python 2 1 Updated Jun 4, 2023

pysathq / pysat

A toolkit for SAT-based prototyping in Python

Python 446 88 Updated Mar 5, 2026

JetBrains / fbme

IDE for IEC 61499 built on top of JetBrains MPS

JetBrains MPS 23 19 Updated Oct 23, 2025

ulyantsev / EFSM-tools

Tools for extended finite-state machine synthesis and testing

C 19 6 Updated Jun 14, 2023