L'Université d'Artois est un établissement public d'enseignement supérieur et de recherche implanté dans les Hauts-de-France. Elle propose des formations variées (licences, masters, doctorats, formations professionnelles) dans plusieurs domaines (sciences, droit, lettres, langues, etc.). Elle mène des activités de recherche via ses laboratoires et accompagne les étudiants dans leur parcours académique et leur insertion professionnelle.

Gophersat est un solveur de problèmes de satisfaisabilité booléenne (SAT) et d'optimisation de problèmes pseudo-booléens (PB) écrit en Go. Il est utilisé pour résoudre des problèmes NP-complets tels que le problème du voyageur de commerce, la vérification de modèles, la planification, et bien d'autres.

D4 est un outil permettant de compiler des formules booléennes en décision-DNNF, une représentation efficace pour la résolution de problèmes SAT. Il permet également de vérifier la correction de certificats de décision-DNNF.

D4v2 est un outil d'analyse et de résolution de problèmes d'optimisation combinatoire, particulièrement adapté à la génération de partitions de graphes et à l'analyse de formules booléennes. Il offre une grande flexibilité grâce à sa capacité à gérer différents types de heuristiques et de méthodes de résolution.

Bibliothèque Python open-source développée au CRIL pour faciliter la conduite d'expériences et leur analyse dans le domaine de la résolution de problèmes SAT. Elle offre un outil complet pour la gestion des expériences, de la collecte des données à l'affichage des résultats, favorisant ainsi la reproductibilité des résultats expérimentaux.

B+E est un outil d'analyse et d'optimisation de processus métier et de systèmes, permettant la modélisation et l'analyse de données complexes. Il est basé sur la version 3.0 de Glucose et est distribué sous licence MIT.

NACRE est un solveur de contraintes écrit en C++ conçu pour expérimenter l'enregistrement de dead-ends avec un moteur de raisonnement de clauses dans la programmation par contraintes. Les structures de données du solveur ont été soigneusement conçues pour gérer les dead-ends et les clauses. NACRE a remporté la première place au concours XCSP3 2018 dans la catégorie MiniTrack.

Stereo2vec is a project that converts stereo audio data into vector space representations, enabling various audio-related use cases such as music genre classification, speech recognition, and sound event detection.

Le projet jkahypar fournit une interface Java pour le framework KaHyPar de partitionnement de hypergraphes. Il permet de construire et de partitionner des hypergraphes de manière efficace grâce à l'utilisation de Java Native Access pour invoquer l'implémentation native de KaHyPar.

Bibliothèque conçue pour générer des cas de test de manière automatique en utilisant des règles de traduction. Elle est livrée avec des générateurs de cas de test intégrés et une interface conçue pour en créer de nouveaux avec un effort minimal.