Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Limboole

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
Stars
5
License
other
Open Issues
1
Most Recent Commit
9 months ago
Programming Language
C
Categories
Site
Repo
Suggest An Alternative To limboole
Popular Sat Solver Projects
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 5 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 5 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 6 months ago
Popular Bootstrap Projects
Bootstrap ⭐ 167,642
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
dependent packages 18,838total releases 63latest release September 14, 2023most recent commit a month agonpm bootstrap} Downloads
Adminlte ⭐ 43,677
AdminLTE - Free admin dashboard template based on Bootstrap 5
dependent packages 157total releases 70latest release February 07, 2022most recent commit 24 days agopackagist almasaeed2010/adminlte} Downloads
Tabler ⭐ 36,351
Tabler is free and open-source HTML Dashboard UI Kit built on Bootstrap
dependent packages 13total releases 33latest release August 24, 2023most recent commit 5 months agonpm @tabler/core} Downloads
Ngx Admin ⭐ 24,951
Customizable admin dashboard template based on Angular 10+
dependent packages 2total releases 11latest release July 19, 2017most recent commit 6 months agonpm @akveo/nga-auth} Downloads
Mdb Ui Kit ⭐ 23,829
Bootstrap 5 & Material Design UI KIT
dependent packages 9total releases 45latest release December 04, 2023most recent commit 7 months agonpm mdb-ui-kit} Downloads
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Javascript Bootstrap
Javascript C
Javascript Computer Science
C Computer Science
C Bootstrap
C Sat Solver
C Sat
Javascript Sat
Bootstrap Computer Science
Javascript Sat Solver

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Javascript
C
Bootstrap
Computer Science
Sat Solver
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.