Amrita-TIFAC-Cyber-Blockchain / 19CSE100-Problem-Solving-and-Algorithmic-Thinking Star 70 Code Issues Pull requests 19CSE100 - Problem Solving and Algorithmic Thinking (PSAT) - 1st Sem - B.E. (CSE-CYS) - ASC, CBE. programming functions problem-solving modularization btech cse100 algorithmic-thinking amrita flowgramming flowgorithm psat 2021cys 2022cys Updated Jun 5, 2023
MatthiasNickles / diff-SAT Star 63 Code Issues Pull requests Discussions Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability optimization probability artificial-intelligence constraint-programming probabilistic-programming logic-programming sat-solver probabilistic answer-set-programming satisfiability differentiable-programming psat differentiable-satisfiability dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization weighted-sat-solving Updated Jul 1, 2024 Scala
pfptcommunity / pfptcommunity Star 14 Code Issues Pull requests Proofpoint API Code Snippets nodejs javascript python api tap rest rest-api excel gas powerbi proofpoint npre psat Updated Jan 20, 2024 JavaScript
fernandesi2244 / PSAT-SAT-Test-Answer-Simulation Star 0 Code Issues Pull requests Should you use the Letter-of-the-Day or pick random letters on questions you are unsure of on the PSAT/SAT? education simulation random psat Updated Aug 23, 2019 Java
atick-faisal / Power-System-Dynamics-IEEE-14-Bus Star 0 Code Issues Pull requests Simulation of IEEE 14 Bus System for Power System Dynamics Analysis matlab power-system psat ieee14 Updated Dec 2, 2023 MATLAB