Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.HIFIS Software SpotlightsBrowse all SpotlightsAll software1FilterClearOrder byOrder byKeywords4Program languages8Licenses1121-1 of 1MallobDecentralized job scheduling platform for HPC and cloud environments, featuring an award-winning distributed engine for automated reasoning (SAT solving)automated reasoningHigh performance computingjob scheduling+ 1C++ShellPython+ 515