Quantum computing promises to improve the speed and scalability of computations over that of classical computing hardware. At this early stage of quantum computer hardware development, software frameworks which support rapid prototyping of quantum solutions on small-scale hardware or simulators are necessary to explore the application of quantum algorithms to hard computational problems. We present a software library, "QxLib," which incorporates symbolic computation of optimization functions for quantum annealers as one means to enable rapid prototyping. We demonstrate its effectiveness on integer linear programming and integer factorization problems.