Top 100 alternative sites to sat4j.org
MiniSat Page
Joel Galenson
Wonderings of a SAT geek | A blog about SAT solving and cryptography
Author: Msoos
Jenetics: Java Genetic Algorithm Library
Jenetics is a Genetic Algorithm, Evolutionary Algorithm, Genetic Programming, and Multi-objective Optimization library, written in modern-day Java.
Author: Franz Wilhelmstötter
Daobab
Daobab Java ORM library
Helidon Project
Java libraries crafted for Microservices
Choco-solver
A Java library for Constraint Programming
Guava
Google core libraries for Java
Unfolding Maps: Unfolding is a library to create interactive maps and geovisualizations in Processing and Java
Mapping Library For Processing And Java
Author: Till Nagel
Ldaptive
Ldaptive: LDAP library for Java.
JScience
The most comprehensive Java library for the scientific community.
Welcome to Pi4J - Pi4J
Java IO Library for the Raspberry Pi
PDF Clown – Open Source PDF Library for Java and .NET
Open Source PDF Library for Java and .NET
highly optimized and efficient media streaming, encoding, decoding and processing libraries for developers
Get highly optimized and efficient RTMP, RTSP, RTP, TS, HLS, MPEG-DASH client, broadcaster and server libraries for Java (Android), C# (Xamarin/.NET/.NET Core/UWP), C++ (Windows/Linux)
GitHub - ketola/jlibra: A Java library for building applications on Diem (previously known as Libra)
A Java library for building applications on Diem (previously known as Libra) - GitHub - ketola/jlibra: A Java library for building applications on Diem (previously known as Libra)
Author: Ketola
Black Rook Software
A large set of helpful Java libraries and utilities.
Vavr
Vavr is an object-functional library for Java 8+
Author: Daniel Dietrich
BKLOSR.de
The big bklosr.de Java Library, Links to other webpages about Java and my current Web-Design-Projects.
anyStub site
A landing page for information about anystub library, a stubbing library for integration tests written in Java.
Other sites like sat4j org
Kotlin Training Courses
RTD delivers courses in programming using the Kotlin programming language, its core libraries and the Java libraries
Sejda SDK is an open source, task oriented Java library to edit PDF files
A free and open source PDF library written in Java
Latest Release
a Java library of graph theory data structures and algorithms
rings | Rings: efficient Java/Scala library for polynomial rings
Rings: efficient Java/Scala library for polynomial rings
PlayN
PlayN is a cross-platform game development library for Java.
Apfloat - Arbitrary precision library for Java and C++, applets and calculator
High-performance arbitrary precision arithmetic library for Java and C++
Boolean Algebra Solver - Boolean Expression Calculator
Boolean Algebra expression simplifier & solver. Detailed steps, Logic circuits, KMap, Truth table, & Quizes. All in one boolean expression calculator. Online tool. Learn boolean algebra.
Location → Information
Ask Geo - Location to Information Web API and Java & .NET Library.
National Library of Virtual Manipulatives
A digital library containing Java applets and activities for K-12 mathematics
Quine-McCluskey Solver
Quine-McCluskey Solver | Minimize boolean functions using the Quine McCluskey Algorithm method. | Quine-McCluskey Calculator | Quine-McCluskey Optimizer | Quine-McCluskey Simplifier
Doomed Boolean Dev
Doomed Boolean Dev
Author: Justin Hearn
Home
ensmallen | flexible C++ library for efficient numerical optimization
adjs - Ad Library to simplify and optimize integration with ad networks such as DFP
Ad Library to simplify and optimize integration with ad networks such as DFP
SVNKit :: Subversion for Java
Pure Java Subversion Library. Open Source, provided by TMate Software
Vaadin - An open platform for building web apps in Java
Vaadin is an open-source platform for modern web apps. It has a large library of components and an intuitive Java API. Works with Spring, CDI, and all of Java.
Dagger
Dagger is a fully static, compile-time dependency injection framework for both Java and Android. It is developed by the Java Core Libraries Team at Google.
Vaadin - An open platform for building web apps in Java
Vaadin is an open-source platform for modern web apps. It has a large library of components and an intuitive Java API. Works with Spring, CDI, and all of Java.
Hack it until you learn it
Lessons learned along the way. Experiences building java and cross platform c , c++ libraries.
Welcome Home
A pure Open Source Java library for OASIS Open Document files manipulation.
web3j - Lightweight Ethereum Java and Android integration library
web3j is a lightweight, reactive Java and Android library for integrating applications with Ethereum blockchains
Author: Conor Svensson
What else sat4j.org alternative websites
pdfbox tutorial with examples & maven | java library
Learn pdfbox tutorial with examples and maven, its java library used to create table
Author: Unknown
Facebook4J - A most easily usable Facebook API wrapper in Java
Facebook4J is an open-sourced, mavenized Java library. With Facebook4J, you can easily integrate your application with the Facebook API. Facebook4J is an unofficial library.
Ecole
A library of Extensible Combinatorial Optimization Learning Environments for using machine learning inside combinatorial optimization solvers.
INFOhio
Ohio's PreK-12 Digital Library. Optimized by the Management Council.
Author: Michael Ridinger
🐇 meshoptimizer | meshoptimizer
Mesh optimization library that makes meshes smaller and faster to render
JitPack | Publish JVM and Android libraries
JitPack makes it easy to release your Java or Android library. Publish straight from GitHub or Bitbucket.
The Legion of the Bouncy Castle
Home of open source libraries of the Legion of the Bouncy Castle and their Java cryptography and C# cryptography resources
Genson - Fast and easy to use Java and Scala to Json conversion library
Genson, fast and easy to use library converting Java and Scala to Json and vice versa.
Author: Eugen Cepoi
JSweet: a transpiler to write JavaScript programs in Java
JSweet is an open transpiler from Java to TypeScript/JavaScript with more than 1000 well-typed JavaScript libraries.
ML-Plan | AILibs
A collection of Java libraries for basic AI algorithms (JAICore) and automated software composition, in particular AutoML (softwareconfiguration)
Home
Approval Tests Library - Capturing Human Intelligence [available for Java, C#, VB.Net, PHP, Ruby, Node.JS and Python]
Author: Approvals
Universal Java Matrix Package | A Dense and Sparse Matrix Library
The Universal Java Matrix Package is a library for dense and sparse matrices with support for multiplication, inverse, decomposition and much more.
Author: Holger Arndt
PHP performance and memory usage
PHP performance, memory usage, optimize software or buy hardware? This blog benchmarks possible optimizations, frameworks, MySQL, ORM, Java, C++
Stringer Java Obfuscator by Licel
Stringer features Stringer provides all the features you need to comprehensively protect your Java (including Java 13) applications: Securely encrypts... strings and application's resources, including native libraries
Y Systems - Software Design and Development
Y Systems offers custom computer software, web services and a product - a Java DXF viewer/library offered for sale.
Nolix Java Library
Nolix is a Java library. Server-client console applications, containers, parameter validator, base classes for tests.
Author: Silvan Wyss
Java Data Mining Package | Machine Learning and Big Data Analytics
The Java Data Mining Package is a library for Machine Learning and Big Data Analytics with support for classification, clustering, and much more.
Author: Holger Arndt
An explaination about (XOR) Ports
(eXclusive OR) A Boolean logic operation that is widely used in cryptography
Home | Boolean: The News Accuracy Platform
THE FUTURE OF NEWS IS ON THE BLOCKCHAIN! FOR DETAILS, FOLLOW THIS LINK (YOU WILL BE TAKEN TO STEEMIT.COM) BETA TESTING TO RESUME Q2 2021, LAUNCH DATE FOR BOOLEAN V0.91! THE BOOLEAN HODLERS PROGRAM ROUND 1 HAS ENDED! PAYOUTS TO OCCUR OVER THE NEXT MONTH! TECHNICAL WHITEPAPER NOW TRADING ON HOTBIT.IO! Boolean Leads The Fight …
VISN by OSRAM - The New Smart Workspace Management
Reduce rent expenses by optimizing workspace utilization and increase employee satisfaction and efficiency.
Other websites similar as sat4j.org
Let's Programming
A key to "Programming, C++, Java, PHP, IT, Network security, Searching engine optimization and many tip and tricks....."
Author: Get link Facebook Twitter Pinterest Email Other Apps
Download JAR files with all dependencies
Search and download Java libraries/JAR files inclusive their dependencies. ➤ No Maven installation ➤ Everything online ➤ Free download
Android Dvlpr
Android App Development Blog, Tutorials and Libraries on Java, Kotlin and Flutter for Developers at beginner, immediate or advance level.
.:: QuickServer ::. Java library for creating robust, multi-threaded, multi-client TCP servers
QuickServer is an open source Java library/framework for quick creation of robust multi-client TCP server applications
Author: Akshathkumar Shetty
Silver17 Consulting - Jennifer van Riet
Decoding Boolean and Sourcing in the Recruitment industry | Workshops by Jennifer van Riet
Author: Page
Some websites with similar theme to sat4j.org include:
Accueil | Chronoweb
Ecole de maquillage - SLA Make Up Academy Paris - Valence
Devenez maquilleur pro avec l'école de maquillage SLA Make Up Academy. Des cours de maquillage professionnels et qualifiant de courtes, longues durées et en ligne pour devenir un expert du maquillage.
Concevez vos meubles, dressing, verrières & porte coulissantes sur mesures avec Centimetre.com
Facilitez vous la vie avec Centimetre : modulez votre intérieur avec un rangement qui vous ressemble ✓ Fabrication française à petit prix ✓ Garantie 10 ans
MoBBee.fr : Actualité en direct et en continu , Le fil info, avec textes, photos, vidéos et podcasts. https://www.mobbee.fr : Média d’inform
MoBBee.fr : Toute l'actualité en direct et en continu , Le fil info, avec textes, photos, vidéos et podcasts. https://www.mobbee.fr est un Algorithme et un Agrégateurs de média d’informations en temps réel © ELP Multimédia : création en 2008 / en 2021 - MoBBee.fr est sur twitter...
Author: Valerie Aujuin
Highway 2 Heaven Concession Harley-Davidson Melun - Seine-et-Marne (77)
Highway 2 Heaven - 2, rue Paul Henri Spaak - 77240 Vert-Saint-Denis Tél. 01 85 45 03 33 9h30 - 12h30 et 14h - 18h30 du mardi au vendredi 9h30 - 18h le samedi
Move-On Magazine / Actu, Agenda & Billetterie de vos Sorties! #BONPLAN
L'actualité et l'agenda des rendez-vous culturels, lifestyles, sportifs, corporates et nocturnes ! Concert, Spectacle, Théâtre, Festival, Conférence, Expos...
Eco Limousine, véhicules transport VTC Calvi Ile Rousse Balagne Corse, pour tous vos déplacements
De jour comme de nuit, Ecolimousine vous accompagne dans tous vos types de déplacements privés et professionnels. 7j/7 24h/24 : disponibilité maximale. Tarifs très économiques.
Voyage Scolaire - VEFE voyages scolaires éducatifs
Optez pour VEFE le spécialiste du voyage scolaire et éducatif: 30 ans d’expérience au service des établissements scolaires !
Hotelys, Fabricant de literie sur mesure pour l'hôtellerie
Des conseils d’experts, une large offre de produits répondant aux exigences de l’hôtellerie. Une proposition commerciale précise, adaptée aux besoins des hôtels 0 à 5 étoiles.
Lega Corsa di Scacchi - Ligue Corse d'Échecs
informations sur l'activité du jeu d'Echecs en Corse. News sur les tournois corses et internationaux comme le Corsican Circuit.
L'Artisan du Thé
Boutique propulsée par PrestaShop
WEB SIDE STORIES- Site personnel de Guy DERIDET
Site personnel consacré à l'informatique, aux télécommunications, à l'humour, la santé et la sexualité.
Agenda Hebdo Médoc du Sud Ouest et Agenda du Médoc infos,infos,médoc,actus,hebdo médoc, Médoc Hebdo, toute l'info du Médoc ou manger, sortie
Premier magazine interactif en partage , Médoc infos, Hebdo Médoc, toutes l'infos du Médoc et des communes sur le Médoc en direct,sur medochebdo.fr, donner nous votre avis, nous recherchons des chroniqueurs chroniqueuses pour . Construire avec nous le premier médias interactif du médoc avec tout...
Author: HEBDO MEDOC
Economie et société - Les clés pour comprendre l'actualité
Économie et société est un webzine dédié à l'analyse de l'actualité économique. Son objectif est de fournir à tous les moyens de comprendre les enjeux de l'actualité économique et sociale. Économie et société est un webzine participative. Chacun peut participer à sa construction.
Learn, understand and invest
Les personnes qui réussissent sont connues pour être douées pour mettre en pratique des conseils sur la gestion du temps. Développer ce soft skill incontournable. Il y a de fortes chances que si vous voulez être un professionnel performant dans le domaine de votre choix, vous devriez également apprendre à organiser efficacement votre journée.
More other alternatives for sat4j org
Mes aides d'apprenti - Calcule tes aides logement, transport...
Trouvez toutes les aides financières dont vous avez le droit en tant qu'alternant grâce à l'outil ANAF. L'ANAF vous accompagne lors de votre démarche.
Бани-бочки, фитобочки, купели, сауны из кедра от производителя — «КедрПром»
Производство и продажа бани-бочки, сауны, купели, мебель из массива кедра для дома, дачи и сада, для бань и саун.
Vinsconfédéres : Guide des vins Suisses
Découvrez les dernières actualités concernant les visites et guide des caves ainsi que les événements à venir…
Виброплиты, вибротрамбовки и виброкатки в Екатеринбурге - Dynamic
Виброплиты, вибротрамбовки и виброкатки от компании Dynamic. Прямой импортер. Бесплатная доставка по РФ. Звоните.
To Build a Beautiful World
Safehouse.fr
Trouvez votre colocation ou location étudiante idéale à l'étranger grâce à Safe House.
Author: Xavier
Edimark : Publications Médicales Spécialisées
Découvrez sur Edimark (éditeur de presse médicale spécialisée) toute l'actualité de la médecine au travers d'articles et de synthèses publiés sur notre site. Revivez également les congrès internationaux grâce à des résumés à chaud.
Author: Dr Suzette DELALOGE; Dr Delphine LOIRAT; Pr Pascal PUJOL
Página principal - VEKA Iberica
Página de rosto - VEKA Iberica
Products and Services for Domotics, Energy and Lighting | Gewiss
Gewiss offers solutions and products for home automation, energy and lighting for the residential, tertiary and industrial sectors.
Author: Editorial Board
Cabinet Delphine Lescop | Podologue / pédicure à Brest (29)
La podologue / pédicure Delphine Lescop vous propose, dans son cabinet à Brest (29), des soins de podologie, pédicurie, podologie du sport et posturologie
DERIA : électroménager, multimédia et antenne à Étrépagny
Deria se charge du dépannage et de l'installation de matériel électroménager, multimédia, alarme et antenne (Eure, Oise, Val d'Oise et Seine Maritime).
Author: Sandrine Girin
Fleuriste à Lannilis et Plouguerneau (29) - Aux Fleurs des Abers
Découvrez votre nouveau fleuriste à Lannilis, situé à l’entrée de Lannilis dans la ZA de Kerlouis.
Construction, rénovation en Finistère - Crenn Construction
Construction de maison dans le Finistère, rénovation, extension ? Choisissez Crenn Construction, entreprise générale du bâtiment depuis 1926 près de Brest.
Conseil en gestion d'entreprise | Easy Gestion TPE, Saint Grégoire
Présent à Saint Grégoire près de Rennes (Ille et Vilaine) et à Saint Brieuc (Côtes d'Armor), EASY GESTION TPE est une société de conseil en gestion d'entreprise TPE / PME (opérationnelle, financière...).
Entreprise générale de bâtiment Brest - Cogebat
Entreprise générale de bâtiment à Brest, Cogebat est spécialisé en construction, extension et rénovation de bâtiments professionnels : étude, coordination et performance de vos locaux.
Expert en fuite, étanchéité, sinistre - ETIS à Brest-Bretagne
Créée par un spécialiste disposant de plus de 15 d’expérience dans les domaines de l’étanchéité, la couverture et le bardage à Brest - Bretagne - ETIS
Camping de la Plancherotte, hébergements et emplacements à Coullons
Visitez les châteaux de la Loire et profitez des services d'hébergement, restauration... et des activités nature du camping de la Plancherotte à Coullons (Sologne).
Cimes et Racines : élagage, espaces verts et aménagement paysager IDF
Cimes et Racines se charge de créer un aménagement paysager, d'élaguer un arbre dangereux et d'entretenir vos extérieurs, que vous soyez particulier, entreprise ou collectivité.
Opticien à domicile Finistère (29) : Nos Lunettes chez Vous
Votre opticien à domicile Nos Lunettes chez Vous se déplace gratuitement chez vous, en maison de retraite ou à votre travail. Pas d'attente, pas de stress !
GLS Newsroom | Alles rund um Paketauslieferungen und Sportsponsoring sowie weltweite Partner
GLS bietet zuverlässige Versandlösungen – national, in Europa und weltweit. Europa ist der definierte Kernmarkt. Die GLS Gruppe deckt mit ihren Paketdienstleistungen 41 europäische, acht US-Staaten und Kanada ab, den Großteil mit eigenen Gesellschaften, weitere über zuverlässige Partner.