biotomas/ipasir biotomas/ipasir

  • Stars
    star
    47
  • Rank 602,499 (Top 12 %)
  • Language
    C++
  • License
    Other
  • Created over 7 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
biotomas/ipasir
github

biotomas

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The Standard Interface for Incremental Satisfiability Solving

More Repositories

1

hordesat

C++
4
star
2

SatHelper

A tool to improve Boolean satisfiability (SAT) solver user's life
Python
3
star
3

freelunch

Satisfiability based automated planning
SAS
2
star
4

solitaireNumber

A simple performance engineering exercise
Java
1
star
5

htmlMiniGames

Mini games written in HTML and JavaScript
JavaScript
1
star